The problem disappeared after further upgrading some gnome packages, removing some old cruft from the system and rebooting. Sorry that I can't be any more specific. Cheers, Bastian -- Bastian Venthur http://venthur.de Debian Developer venthur at debian org