Package: gnome-shell-extension-autohidetopbar
Version: 20151103-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Tobias Frost <tobi@debian.org>
Installed-Size: 69
Depends: gnome-shell (<< 3.19), gnome-shell (>= 3.8)
Recommends: gnome-tweak-tool
Section: gnome
Priority: optional
Homepage: https://github.com/mlutfy/hidetopbar
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-tweak-tool.
