Hi Joey, In http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=565041#25 another user reports that upgrading gnome-terminal/libvte fixes this bug. Could you please check if the problem still occurs for you after the upgrade?
Thanks, -- Romain Francoise <[email protected]> http://people.debian.org/~rfrancoise/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
