Hi, I want to report a bug / strange behaviour I noticed since my last Debian OS update, but I do not know from which package it originates. The symptoms are visible in XFCE 's "workspace switcher". (http://docs.xfce.org/xfce/xfce4-panel/pager#workspace_switcher) Can you give me a matching package name please, or tell me how to find it out ? Thanks a lot --- Dimitri