The problem seems to occur when the terminal is losing focus, no need to switch desktop. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20130529/bfed0339/attachment.html>