[Bug 1877039] Re: gnome-terminal maximize then un-maximize shrinks one pixel

2020-11-10 Thread Yibo Cai
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://

[Bug 1877039] Re: gnome-terminal maximize then un-maximize shrinks one pixel

2020-11-10 Thread Yibo Cai
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