Rated 5 out of 5 stars

Από τον/την yozi-ho στις Σεπτ. 29, 2017 · μόνιμος σύνδεσμος

I really appreciated this addon for the vertical space savings that it gave. Unfortunately it does not work anymore. For anyone looking for an alternative in Gnome the Pixel Saver gnome addon (https://extensions.gnome.org/extension/723/pixel-saver/) works great!