Comment 12 for bug 890784

Revision history for this message
Marwan Tanager (marwan-tngr) wrote :

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.