uups, forget to reset the desktop entry. Please ignore this in the patch:
-    desktop='applications'
+    desktop='gnome-applications'

Thomas

Reply via email to