deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: gnome-shell (>= 3.32), gnome-shell (<< 44~)
Description: |-
GNOME shell automatic topbar hider
This gnome-shell extension automatically hides the topbar, except in overview.
There is also an option to show the topbar when the mouse pointer approaches
the edge of the screen.
.
Please note that you have to manually enable the extension, for example using
gnome-extensions-app, which is part of the gnome-shell-extension-prefs package.
Homepage: https://github.com/tuxor1337/hidetopbar
Installed-Size: '165'
Maintainer: Tobias Frost <tobi@debian.org>
Package: gnome-shell-extension-autohidetopbar
Priority: optional
Recommends: gnome-shell-extension-prefs
Section: gnome
Version: 1:111-1
srcpkg_name: gnome-shell-extension-autohidetopbar
srcpkg_version: 1:111-1