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 debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
