Package: gnome-shell-extension-pixelsaver
Version: 1.20-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>
Installed-Size: 823
Depends: gnome-shell
Section: gnome
Priority: optional
Homepage: https://github.com/deadalnix/pixel-saver
Description: 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.
