Match and fold tags

This commit is contained in:
Henrik Giesel 2021-06-17 20:27:34 +02:00
parent 447e54d3af
commit 95dad1abc1
3 changed files with 9 additions and 0 deletions

View file

@ -3,12 +3,19 @@
import * as CodeMirror from "codemirror/lib/codemirror"; import * as CodeMirror from "codemirror/lib/codemirror";
import "codemirror/mode/htmlmixed/htmlmixed"; import "codemirror/mode/htmlmixed/htmlmixed";
import "codemirror/addon/fold/foldcode";
import "codemirror/addon/fold/foldgutter";
import "codemirror/addon/fold/xml-fold";
import "codemirror/addon/edit/matchtags.js";
const codeMirrorOptions = { const codeMirrorOptions = {
mode: "htmlmixed", mode: "htmlmixed",
theme: "monokai", theme: "monokai",
lineNumbers: true, lineNumbers: true,
lineWrapping: true, lineWrapping: true,
foldGutter: true,
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
matchTags: { bothTags: true },
}; };
const parser = new DOMParser(); const parser = new DOMParser();

View file

@ -2,6 +2,7 @@
@import "ts/sass/codemirror/lib/codemirror"; @import "ts/sass/codemirror/lib/codemirror";
@import "ts/sass/codemirror/theme/monokai"; @import "ts/sass/codemirror/theme/monokai";
@import "ts/sass/codemirror/addon/fold/foldgutter";
anki-editable { anki-editable {
display: block; display: block;

View file

@ -7,6 +7,7 @@ vendor_js_lib(
include = [ include = [
"lib/codemirror.css", "lib/codemirror.css",
"theme", "theme",
"addon/fold/foldgutter.css",
], ],
base = "external/npm/node_modules/codemirror/", base = "external/npm/node_modules/codemirror/",
pkg = pkg_from_name("codemirror"), pkg = pkg_from_name("codemirror"),