GNOME shell automatic topbar hider

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...