Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way.
Home Page:https://extensions.gnome.org/extension/723/pixel-saver/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool