diff options
Diffstat (limited to 'app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch')
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch b/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch new file mode 100644 index 000000000000..56937b8394c2 --- /dev/null +++ b/app-emacs/proofgeneral/files/proofgeneral-4.4-desktop.patch @@ -0,0 +1,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 |