Ich habe gerade ein Upgrade auf Ubuntu 17.10 durchgeführt und habe Probleme mit der Maximierung des Terminalfensters nach links/rechts. Wenn ich das Terminalfenster an einer Seite des Bildschirms maximiere, nutzt es nicht die gesamte Bildschirmhöhe und ist unten irgendwie abgeschnitten:
Wenn ich im Terminal eine neue Registerkarte öffne, geht die Höhe des Fensters über die Bildschirmhöhe hinaus:
Dies tritt nicht auf, wenn das Fenster vollständig maximiert wird oder bei anderen Anwendungen.
Das zweite Problem macht es unmöglich, das Terminal mit mehreren Tabs zu verwenden, wenn es links/rechts maximiert ist. Wie behebe ich das?
Antwort1
Das erste ist nicht unbedingt ein Fehler. Terminalanwendungen verlangen vom Fenstermanager normalerweise, bestimmte Größenkriterien (ein Vielfaches der Zellengröße) zu beachten. In diesem Fall GNOME Shellwird diese Anforderung beachtet. (Obwohl es tatsächlich inkonsistent ist, dass bei vollständiger Maximierung Geometriehinweise nicht mehr beachtet werden und die „Lücke“ zu . gehört GNOME Terminal.)
Das Zweite sieht nach einem Fehler aus. Sie sollten es melden GNOME Shell.
Als Workaround GNOME Terminalgibt es eine versteckte Konfigurationsoption, um die Tab-Leiste anzuzeigen, auch wenn nur ein einziger Tab vorhanden ist. Sie können diese aktivieren mit
dconf write /org/gnome/terminal/legacy/tab-policy '"always"'
(und mit '"automatic"'oder zurückkehren dconf reset ...).
AKTUALISIEREN:
gnome-terminalhat gerade einen Fix/Workaround (ich bin nicht sicher, wie ich es nennen soll) für das zweite Problem erhalten (Fehlerbericht,begehen). Es wird in der kommenden Version 3.28 erscheinen undkönntewird auch auf 3.26.x zurückportiert.
UPDATE2:
GTK+Version 3.22.25 behebt beide Probleme ordnungsgemäß (Fehlerbericht,Verpflichtung 1,Verpflichtung 2,Verpflichtung 3- ICHdenkenes ist das erste Commit, das hier wirklich wichtig ist).