A gnome-shell extension to make bottom right corner toggle bottom tray bar (porting 3.4 behaviour to 3.6+).
Primary LanguageJavaScriptGNU General Public License v2.0GPL-2.0