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 / gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
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.
#10124350GitHub 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.