G

gnome-shell-extension-autohidetopbar

GNOME shell automatic topbar hider

Project ID: 21017
Name
Last commit
Last update
debian Loading commit data...
locale Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
convenience.js Loading commit data...
extension.js Loading commit data...
intellihide.js Loading commit data...
metadata.json Loading commit data...
org.gnome.shell.extensions.hidetopbar.gschema.xml Loading commit data...
panelVisibilityManager.js Loading commit data...
prefs.js Loading commit data...