Hi > This bug is now almost 4 years old. Can you still reproduce it on > current Debian?
Sorry, no idea. I have banished and burned out all traces of Gnome3 from all my computers. Feel free to close the bug Norbert ------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13 ------------------------------------------------------------------------