GitHub repository: 20115681/hidetopbar
Primary language: JavaScript
Description: Gnome 3 extension to hide the top bar except in overview mode