[ Paquet source : gnome-shell-extension-pixelsaver ]
Paquet : gnome-shell-extension-pixelsaver (1.30-1)
Liens pour gnome-shell-extension-pixelsaver
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-pixelsaver :
- [gnome-shell-extension-pixelsaver_1.30-1.dsc]
- [gnome-shell-extension-pixelsaver_1.30.orig.tar.xz]
- [gnome-shell-extension-pixelsaver_1.30-1.debian.tar.xz]
Responsables :
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 (<< 44~)
- interpréteur de commandes graphique pour le bureau GNOME
- dep: gnome-shell (>= 3.36~)
Télécharger gnome-shell-extension-pixelsaver
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 113,4 ko | 823,0 ko | [liste des fichiers] |