Paquet : gnome-shell-extension-autohidetopbar (20171126-2)
Liens pour gnome-shell-extension-autohidetopbar
Ressources Trisquel :
Télécharger le paquet source gnome-shell-extension-autohidetopbar :
- [gnome-shell-extension-autohidetopbar_20171126-2.dsc]
- [gnome-shell-extension-autohidetopbar_20171126.orig.tar.xz]
- [gnome-shell-extension-autohidetopbar_20171126-2.debian.tar.xz]
Responsable :
Original Maintainer:
- Tobias Frost
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
- gnome-shell-extension-caffeine
- gnome-shell-extension-suspend-button
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-vertical-overview
- gnome-shell-extension-gpaste
- gnome-shell-extensions-gpaste
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extension-onboard
- x2x
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.
Autres paquets associés à gnome-shell-extension-autohidetopbar
|
|
|
-
- dep: gnome-shell (>= 3.18)
- graphical shell for the GNOME desktop
-
- rec: gnome-tweak-tool
- adjust advanced settings for GNOME - transitional package
Télécharger gnome-shell-extension-autohidetopbar
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 15,7 ko | 87 ko | [liste des fichiers] |