[ Paquet source : gnome-shell-extension-autohidetopbar ]
Paquet : gnome-shell-extension-autohidetopbar (1:111-1)
Liens pour gnome-shell-extension-autohidetopbar
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source gnome-shell-extension-autohidetopbar :
- [gnome-shell-extension-autohidetopbar_111-1.dsc]
- [gnome-shell-extension-autohidetopbar_111.orig.tar.gz]
- [gnome-shell-extension-autohidetopbar_111-1.debian.tar.xz]
Responsable :
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-espresso
- gnome-shell-extension-panel-osd
- gnome-shell-extension-gpaste
- gnome-shell-extension-mediaplayer
- gnome-shell-extension-top-icons-plus
- notification-position-reloaded
- gnome-shell-extension-bluetooth-quick-connect
- gnome-shell-extensions-gpaste
dissimulateur automatique de la barre supérieure de GNOME shell
Cette extension de gnome-shell cache automatiquement la barre supérieure excepté lors de la vue du panneau seul. Une option existe pour afficher cette barre quand le pointeur de la souris approche du bord de l’écran.
Cette extension doit être activée manuellement, par exemple, en utilisant gnome-extensions-app qui fait partie du paquet gnome-shell-extension-prefs.
Autres paquets associés à gnome-shell-extension-autohidetopbar
|
|
|
|
-
- dep: gnome-shell (<< 44~)
- interpréteur de commandes graphique pour le bureau GNOME
- dep: gnome-shell (>= 3.32)
-
- rec: gnome-shell-extension-prefs
- tool to enable / disable GNOME Shell extensions
Télécharger gnome-shell-extension-autohidetopbar
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 21,5 ko | 165,0 ko | [liste des fichiers] |