[Bug 1927970] Re: Maximised gnome-terminal not returning to normal size

2021-05-25 Thread Ben Hardill
Looks like there is a matching upstream https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/359 ** Bug watch added: gitlab.gnome.org/GNOME/gnome-terminal/-/issues #359 https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/359 -- You received this bug notification because you are a

[Bug 1927970] [NEW] Maximised gnome-terminal not returning to normal size

2021-05-10 Thread Ben Hardill
Public bug reported: The default terminal size is 80x24 If the terminal is maximised then returned to normal by double clicking on the title bar the terminal ends up being 79x23 the first time, 78x22 the second time and so on. it can be reset by clicking on the burger menu -> advanced -> 80x24