The problem seems to occur when the terminal is losing focus, no need to switch
desktop.
is this ever going to get fixed? it's really annoying.
gnome-terminal 3.18.3
Linux Mint 18
LSB Version:
Package: gnome-terminal
Version: 3.4.1.1-2
Severity: normal
1- Open a gnome-terminal
2- resize the window
3- add one or more tabs
4- resize the window again (up to here there's no problem.)
5- switch to another desktop
6- come back to the desktop where your terminal is: the size of the window has
2 matches
Mail list logo