From 5cd791e09f6c160cc4be0116319d30fa25a25e84 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Mon, 10 Oct 2022 14:44:10 +0200 Subject: [PATCH] codemirror --- resources/public/codemirror.html | 24 +++++++----------------- 1 file changed, 7 insertions(+), 17 deletions(-) diff --git a/resources/public/codemirror.html b/resources/public/codemirror.html index 12850f1..ece280f 100644 --- a/resources/public/codemirror.html +++ b/resources/public/codemirror.html @@ -2,7 +2,7 @@ - + @@ -31,28 +31,18 @@ - +
- +
+
+