Am 04.06.2013, 07:17 Uhr, schrieb Yves-Alexis Perez <corsac at debian.org>: > Can you try without it? I purged menu-xdg and restarted X. This sadly had no effect. - Tim