As a workaround, there is another terminal emulator called 'terminator' that is
based on the same virtual terminal widget used by gnome-terminal but doesn't
suffer from this problem. Basically, it's the same as gnome-terminal, but with
many more advanced features.
As a workaround, there is another terminal emulator called 'terminator' that is
based on the same virtual terminal widget used by gnome-terminal but doesn't
suffer from this problem. Basically, it's the same as gnome-terminal, but with
many more advanced features.