[ Quellcode: gnome-shell-extension-pixelsaver ]
Paket: gnome-shell-extension-pixelsaver (1.10+git20180804-d97c6e4-1)
Links für gnome-shell-extension-pixelsaver
Debian-Ressourcen:
Quellcode-Paket gnome-shell-extension-pixelsaver herunterladen:
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.dsc]
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4.orig.tar.gz]
- [gnome-shell-extension-pixelsaver_1.10+git20180804-d97c6e4-1.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu gnome-shell-extension-pixelsaver
|
|
|
|
-
- dep: gnome-shell
- Grafische Shell für den GNOME-Desktop
gnome-shell-extension-pixelsaver herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 109,3 kB | 781,0 kB | [Liste der Dateien] |