Fixes #143

web/cm_plugins/hide_mark.ts

@@ -25,7 +25,6 @@ const typesWithMarks = [
   "InlineCode",
   "Highlight",
   "Strikethrough",
-  // "CommandLink",
 ];
 /**
  * The elements which are used as marks.
@@ -35,7 +34,6 @@ const markTypes = [
   "CodeMark",
   "HighlightMark",
   "StrikethroughMark",
-  // "CommandLinkMark",
 ];
 
 /**

web/style.ts

@@ -40,6 +40,7 @@ export default function highlightStyles(mdExtension: MDExt[]) {
     { tag: [t.regexp, t.escape, t.special(t.string)], class: "sb-string2" },
     { tag: t.variableName, class: "sb-variableName" },
     { tag: t.typeName, class: "sb-typeName" },
+    { tag: t.strikethrough, class: "sb-strikethrough" },
     { tag: t.comment, class: "sb-comment" },
     { tag: t.invalid, class: "sb-invalid" },
     { tag: t.processingInstruction, class: "sb-meta" },

web/styles/theme.scss

@@ -187,6 +187,14 @@
   font-size: 0.9em;
 }
 
+.sb-strikethrough {
+  text-decoration: line-through;
+
+  &.sb-meta {
+    text-decoration: none;
+  }
+}
+
 .sb-line-hr {
   border-top: rgb(76, 75, 75) solid 1px;
   margin-top: 1em;