gnome-shell-extension-pixelsaver - 1.10+git20180804-d97c6e4-1
main
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.
Priority: optional
Section: gnome
Suites: amber byzantium crimson
Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers [꩜] lists.alioth.debian.org>
Homepage
Source Package
Dependencies
Installed Size: 799.7 kB
Architectures: all
Versions
1.10+git20180804-d97c6e4-1 all