...and of course a moment later I remember that gnome-tweak-tool gives me a nice menu for it all. Oh well :)
...and of course a moment later I remember that gnome-tweak-tool gives me a nice menu for it all. Oh well :)