diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 01:25:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 01:25:16 +0000 |
commit | dcaa1c1f37c63bc3e41f81f5f36a329a1976a45f (patch) | |
tree | 96202c6a3276f626cbda7334c271cfc9b974928b /etc/desktop/mime-info | |
parent | 3cfba3af1e9bb91b380356823d74a30a5fb3565d (diff) |
Tweak desktop integration; add application-registry.
Diffstat (limited to 'etc/desktop/mime-info')
-rw-r--r-- | etc/desktop/mime-info/proofgeneral.keys | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/etc/desktop/mime-info/proofgeneral.keys b/etc/desktop/mime-info/proofgeneral.keys index 13d43c7a..7427911b 100644 --- a/etc/desktop/mime-info/proofgeneral.keys +++ b/etc/desktop/mime-info/proofgeneral.keys @@ -1,4 +1,10 @@ -application/proofgeneral - open=proofgeneral %f & - view=proofgeneral %f & - icon-filename=/usr/share/pixmaps/proofgeneral.png +application/x-proofgeneral: + description=Proof General theorem prover file + open=proofgeneral %f + view=proofgeneral %f + icon-filename=/usr/share/pixmaps/proofgeneral.png + short_list_application_ids=mrproject + short_list_application_ids_for_novice_user_level=mrproject + short_list_application_ids_for_intermediate_user_level=mrproject + short_list_application_ids_for_advanced_user_level=mrproject + category=Documents/Theorem Prover |