diff options
Diffstat (limited to 'share')
| -rwxr-xr-x | share/applications/tikzit.desktop | 8 | ||||
| -rw-r--r-- | share/mime/packages/user-tikz-document.xml | 7 |
2 files changed, 15 insertions, 0 deletions
diff --git a/share/applications/tikzit.desktop b/share/applications/tikzit.desktop new file mode 100755 index 0000000..1e767f7 --- /dev/null +++ b/share/applications/tikzit.desktop @@ -0,0 +1,8 @@ +[Desktop Entry] +Name=TikZiT +Comment=A graphical editor for PGF/TikZ +Exec=tikzit %u +Icon=tikzit +Terminal=false +Type=Application +MimeType=application/x-tikz-document diff --git a/share/mime/packages/user-tikz-document.xml b/share/mime/packages/user-tikz-document.xml new file mode 100644 index 0000000..db884f6 --- /dev/null +++ b/share/mime/packages/user-tikz-document.xml @@ -0,0 +1,7 @@ +<?xml version="1.0" encoding="UTF-8"?> +<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info"> + <mime-type type="application/x-tikz-document"> + <comment>tikz document</comment> + <glob pattern="*.tikz"/> + </mime-type> +</mime-info> |