app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14

--- PG-4.4-orig/etc/desktop/proofgeneral.desktop
+++ PG-4.4/etc/desktop/proofgeneral.desktop
@@ -4,9 +4,9 @@
 Name=Proof General
 GenericName=Theorem proving environment
 Comment=Organise your proofs!
-Icon=proofgeneral.png
+Icon=proofgeneral
 TryExec=proofgeneral
 Exec=proofgeneral %F
 Terminal=false
-Categories=Application;IDE;Development;TextEditor;Math
+Categories=IDE;Development;TextEditor;Math
 StartupWMClass=Emacs