Successfully add monokai theming

This commit is contained in:
Henrik Giesel 2021-06-17 18:36:12 +02:00
parent 74961ff118
commit d80fc6a397

View file

@ -1,7 +1,8 @@
// Copyright: Ankitects Pty Ltd and contributors // Copyright: Ankitects Pty Ltd and contributors
// License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html // License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
import CodeMirror from "codemirror/src/codemirror"; import * as CodeMirror from "codemirror/lib/codemirror";
import "codemirror/mode/htmlmixed/htmlmixed";
const codeMirrorOptions = { const codeMirrorOptions = {
lineNumbers: true, lineNumbers: true,