Anybody know that what is causing this problem? Or it is only on Debian?
found nothing on GNOME's bugzilla. Alan
For people like me who are working with multiple terminal tabs at once,
it is like a nightmare! ;-)
