Dear Xfce Devs, Could you take a look at this, please: https://bugs.gentoo.org/show_bug.cgi?id=80233 Is this a shortcoming of Gnome's menu generator? regards, Akos