From 83bb3f8b0b0edfa63c637839810dabf44a1a5b8e Mon Sep 17 00:00:00 2001
From: Jens Langhammer <jens.langhammer@beryju.org>
Date: Fri, 9 Apr 2021 18:57:34 +0200
Subject: [PATCH] web/elements: disable lineNumbers in codemirror for firefox

Signed-off-by: Jens Langhammer <jens.langhammer@beryju.org>
---
 web/src/elements/CodeMirror.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/src/elements/CodeMirror.ts b/web/src/elements/CodeMirror.ts
index 8947f0df3..9b6a3acc0 100644
--- a/web/src/elements/CodeMirror.ts
+++ b/web/src/elements/CodeMirror.ts
@@ -98,7 +98,7 @@ export class CodeMirrorTextarea extends LitElement {
         this.editor = CodeMirror.fromTextArea(textarea, {
             mode: this.mode,
             theme: "monokai",
-            lineNumbers: true,
+            lineNumbers: false, // Line Numbers seem to be broken on firefox?
             readOnly: this.readOnly,
             autoRefresh: true,
             lineWrapping: true,