Bonjour Josselin, Merci beaucoup for the quick response and for pointing me to the right file (I was looking in the backends directory).
> > ii libgtk2.0-0 2.18.3-1~bpo50+1 The GTK+ graphical user > interface I think this was pulled in by building nvidia-settings and the new nvidia-driver 190.43, which was required by the 2.6.32 kernel that I am forced to use. Once you start upgrading _one_ package... > I guess we could do a stable upgrade to fix that, but I consider it of > low priority. I just changed the second defintion of "label" into "label2". That fixes it. (I should probably build a new local package...) But you are right: low priority, as I am probably the one in a million who has this issue due to a newer kernel and a backported package. Salut Oliver -- Jetzt kostenlos herunterladen: Internet Explorer 8 und Mozilla Firefox 3.5 - sicherer, schneller und einfacher! http://portal.gmx.net/de/go/atbrowser -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org