There was a mention at UDS by the design team of 'fixing window
resizing', although I don't know if what they're looking at would cover
gnome-terminal. In any case, I've nominated this for 100 papercuts.
Btw, thanks for the Alt+Middle workaround. That will save me many
frustrated minutes.
** Also affects: hundredpapercuts
Importance: Undecided
Status: New
** Changed in: hundredpapercuts
Importance: Undecided => High
--
terminal window super hard to resize
https://bugs.launchpad.net/bugs/652331
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs