*** This bug is a duplicate of bug 1288655 ***
https://bugs.launchpad.net/bugs/1288655
** This bug has been marked a duplicate of bug 1288655
Terminal height shrinks - repeatedly restored shorter than the previous
height
--
You received this bug notification because you are a member of U
Find a workaround in this link: https://gitlab.gnome.org/GNOME/gnome-
terminal/-/issues/129
Run below command and restart gnome-termianl, works for me.
dconf write /org/gnome/terminal/legacy/headerbar '@mb false'
** Bug watch added: gitlab.gnome.org/GNOME/gnome-terminal/-/issues #129
https://
Met with exactly same issue after upgrading from 18.04 to 20.04.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1877039
Title:
gnome-terminal maximize then un-maximize shrin
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launch
** Summary changed:
- gnome-terminal maximize then un-maximize behaves odd
+ gnome-terminal maximize then un-maximize shrinks one pixel
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Low
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, w
