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 | |
| parent | 3cfba3af1e9bb91b380356823d74a30a5fb3565d (diff) | |
Tweak desktop integration; add application-registry.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ProofGeneral.spec | 3 | ||||
| -rw-r--r-- | etc/desktop/README | 7 | ||||
| -rw-r--r-- | etc/desktop/mime-info/proofgeneral.keys | 14 | ||||
| -rw-r--r-- | etc/desktop/proofgeneral.desktop | 2 |
4 files changed, 20 insertions, 6 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index d0896fb7..77f74c3e 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -104,11 +104,12 @@ fi # %{_mandir}/man1/* %{_datadir}/pixmaps/proofgeneral.png %{_datadir}/icons/hicolor/*/proofgeneral.png -%{_datadir}/mime-info/proofgeneral.* %{_datadir}/ProofGeneral/* %{_datadir}/man/man1/* %{_datadir}/info/*.info.gz +%{_datadir}/mime-info/proofgeneral.* %{_datadir}/applications/proofgeneral.desktop +%{_datadir}/application-registry/proofgeneral.applications %files -n ProofGeneral-emacs-elc %defattr(-,root,root) diff --git a/etc/desktop/README b/etc/desktop/README index 742a1bc9..d786a316 100644 --- a/etc/desktop/README +++ b/etc/desktop/README @@ -6,6 +6,13 @@ See http://www.freedesktop.org/standards/desktop-entry-spec Please add i18n alternatives and other improvements if you'd like to see them on your desktop, and send them back to me. - da +--- + +Notes: + +application-registry/ } for GNOME +mime-info/ } + 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 diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop index c072935d..2ee66642 100644 --- a/etc/desktop/proofgeneral.desktop +++ b/etc/desktop/proofgeneral.desktop @@ -6,6 +6,6 @@ Icon=proofgeneral.png Terminal=false Type=Application Encoding=UTF-8 -Categories=Application;Development;TextEditor +Categories=Application;Development;TextEditor;Mathematics StartupWMClass=Emacs |