gnome-terminal max_size and resize looses 1 row and 1 colomn
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
I installed "xterm" to get utility "resize" and have a comparison between 2 terminal programs.
xterm works. between the "resize" commands is double click on top bar (max.size, restore)
bernie@prod:~$ resize
COLUMNS=80;
LINES=24;
export COLUMNS LINES;
bernie@prod:~$ resize
COLUMNS=80;
LINES=24;
export COLUMNS LINES;
bernie@prod:~$ resize
COLUMNS=80;
LINES=24;
export COLUMNS LINES;
-------
gnome-terminal has a bug. again (max.size, restore) with double-click on top bar.
bernie@prod:~$ resize
COLUMNS=80;
LINES=24;
export COLUMNS LINES;
bernie@prod:~$ resize
COLUMNS=79;
LINES=23;
export COLUMNS LINES;
bernie@prod:~$ resize
COLUMNS=78;
LINES=22;
export COLUMNS LINES;
-------
gnome-terminal info reports version 3.36.2
platform is ubuntu 20.04 LTS
bernie@prod:~$ lsb_release -rd
Description: Ubuntu 20.04.3 LTS
Release: 20.04
bernie@prod:~$ apt-cache policy gnome-terminal
gnome-terminal:
Installiert: 3.36.2-
Installations
Versionstabelle:
*** 3.36.2-
500 http://
100 /var/lib/
3.
500 http://
please fix the gnome-terminal size shrinking and restore the same size as before
thanks
I assume an "integer division" cut down
my HW monitor has a screen resolution of 1920 x 1200 pixel.