From d80fc6a397697a010272127d5d44f80426dc373c Mon Sep 17 00:00:00 2001 From: Henrik Giesel Date: Thu, 17 Jun 2021 18:36:12 +0200 Subject: [PATCH] Successfully add monokai theming --- ts/editor/codable.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ts/editor/codable.ts b/ts/editor/codable.ts index c0d78a6a6..ca9cb0e62 100644 --- a/ts/editor/codable.ts +++ b/ts/editor/codable.ts @@ -1,7 +1,8 @@ // Copyright: Ankitects Pty Ltd and contributors // 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 = { lineNumbers: true,