feat: 🎸 Fix ts compile error

src/public/app/types.d.ts

@@ -204,6 +204,7 @@ declare global {
         tabindex: number;
         dragDrop: boolean;
         placeholder: string;
+        readOnly: boolean;
     }
 
     var CodeMirror: {

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"),

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

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>"));
         }