From 18104c0e48cf32174ae1482e4d49734c5452fe94 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 15 Jul 2005 12:01:35 +0000
Subject: Update to match desktop entry spec 0.9.4

---
 etc/desktop/proofgeneral.desktop | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'etc/desktop')

diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop
index 2cc0793a..a053f566 100644
--- a/etc/desktop/proofgeneral.desktop
+++ b/etc/desktop/proofgeneral.desktop
@@ -1,12 +1,14 @@
 [Desktop Entry]
+Type=Application
+Version=1.0
+Encoding=UTF-8
 Name=Proof General
 GenericName=Theorem proving environment
 Comment=Organise your proofs!
-Exec=proofgeneral %F
 Icon=proofgeneral.png
+FilePattern=proofgeneral
+TryExec=proofgeneral
+Exec=proofgeneral %F
 Terminal=false
-Type=Application
-Encoding=UTF-8
 Categories=Application;IDE;Development;TextEditor;Math
 StartupWMClass=Emacs
-
-- 
cgit v1.2.3