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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
