diff options
author | Alex Merry <dev@randomguy3.me.uk> | 2013-05-17 15:33:17 +0100 |
---|---|---|
committer | Alex Merry <dev@randomguy3.me.uk> | 2013-05-17 15:33:17 +0100 |
commit | d498fa88fe9430ad8d2cebfc1bb32e5222abe793 (patch) | |
tree | 2d34a489ffe6fea4eda5e0453d624b01011d97a6 | |
parent | 2a55b85366717e86642f0cfb0f564db6a4ef97ae (diff) |
Register a mimetype for TikZ documents
-rw-r--r-- | tikzit/share/Makefile.am | 1 | ||||
-rw-r--r-- | tikzit/share/applications/tikzit.desktop | 1 | ||||
-rw-r--r-- | tikzit/share/mime/packages/tikzit.xml | 10 |
3 files changed, 12 insertions, 0 deletions
diff --git a/tikzit/share/Makefile.am b/tikzit/share/Makefile.am index d3b6a9d..e289e1e 100644 --- a/tikzit/share/Makefile.am +++ b/tikzit/share/Makefile.am @@ -3,6 +3,7 @@ else sharedir = $(datarootdir) nobase_dist_share_DATA = \ applications/tikzit.desktop \ + mime/packages/tikzit.xml \ icons/hicolor/*/apps/*.png \ icons/hicolor/scalable/apps/*.svg endif diff --git a/tikzit/share/applications/tikzit.desktop b/tikzit/share/applications/tikzit.desktop index d1fb908..aec42bc 100644 --- a/tikzit/share/applications/tikzit.desktop +++ b/tikzit/share/applications/tikzit.desktop @@ -4,6 +4,7 @@ Type=Application Name=TikZit Comment=TeX pgf/TikZ graph editor GenericName=TikZ Graph Editor +MimeType=text/x-tikz Exec=tikzit Icon=tikzit Categories=GTK;Graphics;Education;Science; diff --git a/tikzit/share/mime/packages/tikzit.xml b/tikzit/share/mime/packages/tikzit.xml new file mode 100644 index 0000000..c6e7c0c --- /dev/null +++ b/tikzit/share/mime/packages/tikzit.xml @@ -0,0 +1,10 @@ +<?xml version="1.0" encoding="UTF-8"?> +<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info"> + <mime-type type="text/x-tikz"> + <comment xml:lang="en"></comment> + <magic priority="50"> + <match type="string" value="\\begin{tikzpicture}" offset="0"/> + </magic> + <glob pattern="*.tikz"/> + </mime-type> +</mime-info> |