Hallo,
ich habe ein kleines, aber etwas seltsames Problem mit dem GNOME-Terminal.
Es ist im Standardprofil auf die Größe 80x24 eingestellt. Wenn ich nun das Terminal mit der F11-Taste in den Vollbildmodus schalte und anschließend ebenfalls mit F11 wieder in den Normalmodus zurück, dann ist das Terminal anschließend in der Größe geschrumpft, d.h. es ist nur noch 77x21 groß. Jedes weitere Hin- und Zurückschalten des Terminals macht es in der Größe dann immer kleiner, bis es irgendwann nur mehr 36x3 groß ist.
Ich habe leider keine Einstellung gefunden, mit der man dieses Verhalten beeinflussen könnte. Auf etlichen anderen Rechnern, die mit mehr oder weniger identischen Einstellungen unter Ubuntu 22.04 laufen, beobachte ich dieses Problem mit dem GNOME Terminal nicht. Auch bei anderen Anwendungen (Firefox, Thunderbird, LibreOffice etc.) beobachte ich beim Wechsel des Größenmodus kein "Schrumpfen" von Fenstern.
Hat jemand eine Idee, woran dieses Problem beim GNOME-Terminal liegen könnte?
Danke für alle Tipps!