Hide Top Bar von Thomas Vogt ist eine meiner Lieblingserweiterungen zur Gnome Shell.
Hide Top Bar lässt die Topbar aus dem Bildschirm verschwinden, wenn z.B. ein Fenster maximiert ist. Wenn man mit der Maus gegen den oberen Bildschrimrand stößt, erscheint die Topbar wieder.
https://gitlab.gnome.org/tuxor1337/hidetopbar
Es gibt einen kleinen Fork.
Leider ist die Extension nicht kompatibel mit der Gnome Version 45, was dazu führt, dass diese nicht mit Ubuntu 23.10 zusammen funktioniert. Sie wird gar nicht erst angezeigt.
https://gitlab.gnome.org/ademar111190/hidetopbar.git
Wer Lust hast kann sich die Extension für sein Gnome selbst erstellen und sie läuft dann auch gut.
cd ~/.local/share/gnome-shell/extensions/ git clone https://gitlab.gnome.org/ademar111190/hidetopbar.git hidetopbar@mathieu.bidon.ca cd hidetopbar@mathieu.bidon.ca git checkout gnome-45 make gnome-extensions enable hidetopbar@mathieu.bidon.ca