jonnius/Keyboard-Modifiers-Status
Gnome-Shell extension that shows keyboard modifiers status. It's much useful when sticky keys are active.
Public GitHub Catalog
Discovered Sep 27, 2026
jonnius / gnome-shell-extension-icon-hider
Icon Hider is a gnome-shell extension for managing status area items.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10231615GitHub System ID
jonniusOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonnius
jonnius/theme-default
Inyoka OSS Theme
jonnius/acme-code
Public repository.
jonnius/dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.