Package: gnome-shell-extension-pixelsaver
Version: 1.10+git20161217-49f47bf-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Jonathan Carter <jcarter@linux.com>
Installed-Size: 221
Depends: gnome-shell (>= 3.18)
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.
