gsf / pixel-saver

Pixel Saver

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Pixel Saver

Pixel Saver is an extension for Gnome Shell that merge the activity bar and the title bar of maximized window. It is especially interesting for small screens, but MOAR pixels for your apps is always good !

The extension has no configuration. Its behavior is made to mimic the one of the title bar and settings affecting the title bar should reflect in Pixel Saver. It Just Works !

For applications using the modern GTK header bar, there are no space savings, but the application title is still displayed in the top panel to achieve a uniform appearance.

The title bar is completely gone and integrated to the activity bar.

It is largely inspired by bios and mathematicalcoffee's Window Buttons Extension and mathematicalcoffee's maximus extension and some code come from there. You may want to check theses out, especially if you want something more configurable.

Installation

Install it with one click from the GNOME extension repository.

You can also follow these simply instruction for manual installation :

git clone https://github.com/deadalnix/pixel-saver.git
cd pixel-saver
# Get the last released version
git checkout 1.9
# copy to extensions directory
cp -r pixel-saver@deadalnix.me -t ~/.local/share/gnome-shell/extensions
# activate
gnome-shell-extension-tool -e pixel-saver@deadalnix.me

For code changes to become effective, you might need to reload GNOME Shell by pressing Alt + F2 and entering r .

Dependencies

Pixel Saver depends on Xorg's xprop and xwininfo utilities. If not already present on your system, these can be installed using:

  • Debian/Ubuntu: apt install x11-utils
  • Fedora/RHEL: dnf install xorg-x11-utils
  • Arch: pacman -S xorg-xprop

Configuration

Don't be silly !

Support for older versions of gnome shell

If you use an older version of gnome shell, here are the versions of pixel saver that you should use.

Gnome Shell Latest recomanded version
3.12 1.3
3.14 1.5.1
3.15 1.10

Screenshots

If you want to see what the full desktop look like with this extension, you can check out what a unmaximized window looks like, as well as a maximized one.

About

Pixel Saver

License:MIT License


Languages

Language:JavaScript 73.0%Language:CSS 26.9%Language:Shell 0.2%