Paquet : gnome-shell-extension-pixelsaver (1.10+git20161217-49f47bf-1)
Liens pour gnome-shell-extension-pixelsaver
Ressources Trisquel :
Télécharger le paquet source gnome-shell-extension-pixelsaver :
- [gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf-1.dsc]
- [gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf.orig.tar.gz]
- [gnome-shell-extension-pixelsaver_1.10+git20161217-49f47bf-1.debian.tar.xz]
Responsable :
Original Maintainer:
- Jonathan Carter
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
pixel saver extension for GNOME shell
Pixel Saver is designed to save pixels by fusing activity bar and title bar in GNOME shell.
It is inspired by previous tools such as Maximus.
Autres paquets associés à gnome-shell-extension-pixelsaver
|
|
|
-
- dep: gnome-shell (>= 3.18)
- graphical shell for the GNOME desktop
Télécharger gnome-shell-extension-pixelsaver
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 48,5 ko | 221 ko | [liste des fichiers] |