Make this a subset of application/zip.

This way, Dolphin will still show Ark etc. as secondary options to 'open with'.

Make this a subset of application/zip.
This way, Dolphin will still show Ark etc. as secondary options to 'open with'.
2cba1545 · Kishore Gopalakrishnan · 1d699c63 · 2cba1545
Commit 2cba1545 authored Nov 15, 2020 by Kishore Gopalakrishnan
--- a/src/cantor.xml
+++ b/src/cantor.xml
@@ -4,5 +4,6 @@
    <comment>Cantor worksheet</comment>
    <glob pattern="*.cws"/>
    <generic-icon name="cantor"/>
+    <sub-class-of type="application/zip"/>
  </mime-type>
 </mime-info>