[ Source: gnome-shell-extension-autohidetopbar ]
Package: gnome-shell-extension-autohidetopbar (20180908-2)
Links for gnome-shell-extension-autohidetopbar
Debian Resources:
Download Source Package gnome-shell-extension-autohidetopbar:
- [gnome-shell-extension-autohidetopbar_20180908-2.dsc]
- [gnome-shell-extension-autohidetopbar_20180908.orig.tar.xz]
- [gnome-shell-extension-autohidetopbar_20180908-2.debian.tar.xz]
Maintainer:
External Resources:
- Homepage [github.com]
Similar packages:
- gnome-shell-extension-caffeine
- gnome-shell-extension-suspend-button
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-espresso
- gnome-shell-extension-vertical-overview
- gnome-shell-extension-gpaste
- gnome-shell-extension-panel-osd
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extensions-gpaste
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.
Other Packages Related to gnome-shell-extension-autohidetopbar
|
|
|
|
-
- dep: gnome-shell (>= 3.18)
- graphical shell for the GNOME desktop
-
- rec: gnome-tweaks
- tool to adjust advanced configuration settings for GNOME
Download gnome-shell-extension-autohidetopbar
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 16.6 kB | 89.0 kB | [list of files] |