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 / wikipedia-search-provider
Wikipedia Search Provider for 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.
#10127355GitHub 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.