Ich benutze Ubuntu erst seit ein paar Wochen.
Die Menge an verschwendetem Platz am oberen Rand einiger Fenster ist fast schon komisch, aber mir ist klar, dass das größtenteils den Entwicklern zuzuschreiben ist. Beispielsweise nutzen Chrome und Microsoft Teams den Platz sehr gut. Firefox und Visual Studio Code... uff.
Beim Versuch, das Problem zu lösen, bin ich hier auf eine Antwort gestoßen, die vorschlug gnome-shell-extension-pixelsaver: . Funktionierte mehrere Tage lang einwandfrei. Dann hat es gestern einfach nicht mehr funktioniert. Ich habe versucht, es zu sudo apt purge gnome-shell-extension-pixelsaverinstallieren und dann neu zu installieren. Neustart usw. Behebt das Problem nicht.
Ich habe auch versuchtno-title-barund habe auch sichergestellt, x11-utilsdass es installiert wurde. Tut auch nichts.
Ich habe keine Änderungen am System vorgenommen und bin daher verblüfft, warum es einfach nicht mehr funktioniert.
Irgendwelche Vorschläge zur Lösung dieses Problems?
BEARBEITEN - 27.03.20
Aus mehreren Gründen habe ich schließlich eine Neuformatierung vorgenommen, dies war einer davon.
Habe diese Erweiterung bei der sauberen Neuformatierung verwendet:
https://github.com/pixel-saver/pixel-saver
Nochmal... funktioniert ein paar Tage und dann funktioniert es nicht mehr. Eine Neuinstallation bringt nichts.
Antwort1
Holen Sie sich den Dconf-Editor und gehen Sie zu org->gnome->terminal->legacy->headerbar, setzen Sie sie auf false. Dann können Sie die Erweiterung unite verwenden, um beispielsweise Titelleisten zu entfernen, wenn sie gekachelt sind oder wenn das Terminal den gesamten Bildschirm ausfüllt.
Aber aber aber ich habe dabei einige Störungen mit den Schatten hinter dem Terminal. Vielleicht passiert Ihnen das nicht. Im Moment gibt es keine anderen Lösungen.