sassmann / gnome-shell-extension-panel_size

Allow to change the size of the Gnome top panel

Geek Repo

Github PK Tool