From 9d49546bc923d50fbdb346c235a99012284df236 Mon Sep 17 00:00:00 2001
From: Jin <22962980+JYC333@users.noreply.github.com>
Date: Sat, 22 Mar 2025 14:35:37 +0100
Subject: [PATCH] =?UTF-8?q?feat:=20=F0=9F=8E=B8=20Fix=20ts=20compile=20err?=
 =?UTF-8?q?or?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/public/app/types.d.ts                                  | 1 +
 .../app/widgets/type_widgets/abstract_code_type_widget.ts  | 7 +++++++
 src/public/app/widgets/type_widgets/content/backend_log.ts | 2 +-
 src/public/app/widgets/type_widgets/read_only_code.ts      | 4 ++--
 4 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/src/public/app/types.d.ts b/src/public/app/types.d.ts
index 7c0175d0a..7030e30bb 100644
--- a/src/public/app/types.d.ts
+++ b/src/public/app/types.d.ts
@@ -204,6 +204,7 @@ declare global {
         tabindex: number;
         dragDrop: boolean;
         placeholder: string;
+        readOnly: boolean;
     }
 
     var CodeMirror: {
diff --git a/src/public/app/widgets/type_widgets/abstract_code_type_widget.ts b/src/public/app/widgets/type_widgets/abstract_code_type_widget.ts
index 69bc38bd7..dc6184ada 100644
--- a/src/public/app/widgets/type_widgets/abstract_code_type_widget.ts
+++ b/src/public/app/widgets/type_widgets/abstract_code_type_widget.ts
@@ -50,6 +50,13 @@ export default class AbstractCodeTypeWidget extends TypeWidget {
             matchTags: { bothTags: true },
             highlightSelectionMatches: { showToken: false, annotateScrollbar: false },
             lineNumbers: true,
+            keyMap: "default",
+            lint: false,
+            gutters: [],
+            tabindex: 0,
+            dragDrop: true,
+            placeholder: "",
+            readOnly: false,
             // we line wrap partly also because without it horizontal scrollbar displays only when you scroll
             // all the way to the bottom of the note. With line wrap, there's no horizontal scrollbar so no problem
             lineWrapping: options.is("codeLineWrapEnabled"),
diff --git a/src/public/app/widgets/type_widgets/content/backend_log.ts b/src/public/app/widgets/type_widgets/content/backend_log.ts
index 03699d873..902b729ae 100644
--- a/src/public/app/widgets/type_widgets/content/backend_log.ts
+++ b/src/public/app/widgets/type_widgets/content/backend_log.ts
@@ -36,7 +36,7 @@ export default class BackendLogWidget extends AbstractCodeTypeWidget {
         await this.load();
     }
 
-    getExtraOpts() {
+    getExtraOpts(): Partial<CodeMirrorOpts> {
         return {
             lineWrapping: false,
             readOnly: true
diff --git a/src/public/app/widgets/type_widgets/read_only_code.ts b/src/public/app/widgets/type_widgets/read_only_code.ts
index e4a4bc447..cf2aaddbf 100644
--- a/src/public/app/widgets/type_widgets/read_only_code.ts
+++ b/src/public/app/widgets/type_widgets/read_only_code.ts
@@ -43,7 +43,7 @@ export default class ReadOnlyCodeTypeWidget extends AbstractCodeTypeWidget {
         this.show();
     }
 
-    getExtraOpts() {
+    getExtraOpts(): Partial<CodeMirrorOpts> {
         return {
             readOnly: true
         };
@@ -100,7 +100,7 @@ export default class ReadOnlyCodeTypeWidget extends AbstractCodeTypeWidget {
                 return ret;
             });
 
-        for (i = pre.length; i--; ) {
+        for (i = pre.length; i--;) {
             html = html.replace("<--TEMPPRE" + i + "/-->", pre[i].tag.replace("<pre>", "<pre>\n").replace("</pre>", pre[i].indent + "</pre>"));
         }