[ etiona ]
[ nabia ]
[ Paquet source : gnome-shell-extension-remove-dropdown-arrows ]
Paquet : gnome-shell-extension-remove-dropdown-arrows (13-1)
Liens pour gnome-shell-extension-remove-dropdown-arrows
Ressources Trisquel :
Télécharger le paquet source gnome-shell-extension-remove-dropdown-arrows :
- [gnome-shell-extension-remove-dropdown-arrows_13-1.dsc]
- [gnome-shell-extension-remove-dropdown-arrows_13.orig.tar.gz]
- [gnome-shell-extension-remove-dropdown-arrows_13-1.debian.tar.xz]
Responsable :
Original Maintainers:
- Debian GNOME Maintainers (Archive du courrier électronique)
- Jonathan Carter
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
removes drop down arrows from panel on GNOME shell
Removes the dropdown arrows which were introduced in GNOME 3.10 from the App Menu, System Menu, Input Menu, Access Menu, Places Menu, Applications Menu and any other extension that wants to add dropdown arrows.
GNOME is an intuitive and attractive desktop. This is an add-on to GNOME, and will likely not be useful on its own.
Autres paquets associés à gnome-shell-extension-remove-dropdown-arrows
|
|
|
-
- dep: gnome-shell (>= 3.16)
- graphical shell for the GNOME desktop
Télécharger gnome-shell-extension-remove-dropdown-arrows
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 4,0 ko | 18 ko | [liste des fichiers] |