Hi Marc, the issue is not about gnome-shell *not* looking into /usr/share/applications/kde, but rather gnome-menus blacklisting several KDE programs. See /etc/gnome/menus.blacklist. kate is listed there as kde4/kate.desktop, that's why it magically showed up, as soon as you move the desktop file around.
While hiding a lot of those very KDE specific programs does make sense, the blacklist is a bit too aggressive for my taste. Cheers, Michael -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature
