tomgrek/hidetopbar

Gnome 3 extension to hide the top bar except in overview mode

JavaScript