AWeinb/gnome-shell-extension-hide-dash
gnome-shell extension to hide the dash from the overview
Public GitHub Catalog
Discovered Sep 27, 2026
AWeinb / Advanced-Logon-Editor
Windows 7 Logoneditor
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10282551GitHub System ID
AWeinbOrganization / User
PublicVisibility
ActiveCatalog Status
More from AWeinb
AWeinb/gnome-shell-trash-extension
A Trash icon in your panel.
AWeinb/Gnomenu
GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface. Menu fully supports user theme integration and in addition themes that carry native support can be found here http://the-panacea-projects.deviantart.com/