Hi! This seems to have been fixed, but I have no idea how and why, as I haven't upgraded gnome-shell recently as far as I know. Cheers, Paul -- Using the Power of Debian GNU/Linux | E-mail: paulvt at debian.org Jabber/GTalk: paul at luon.net | GnuPG key ID: 0x50064181