From 60d3bafc8e62e707dd833db33cfeadea8c205752 Mon Sep 17 00:00:00 2001
From: Elian Doran <contact@eliandoran.me>
Date: Sat, 22 Mar 2025 15:04:31 +0200
Subject: [PATCH] fix(types): build errors due to CodeMirror opts

---
 src/public/app/types.d.ts | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/public/app/types.d.ts b/src/public/app/types.d.ts
index 7c0175d0a..da0ad927a 100644
--- a/src/public/app/types.d.ts
+++ b/src/public/app/types.d.ts
@@ -198,12 +198,13 @@ declare global {
         };
         lineNumbers: boolean;
         lineWrapping: boolean;
-        keyMap: "vim" | "default";
-        lint: boolean;
-        gutters: string[];
-        tabindex: number;
-        dragDrop: boolean;
-        placeholder: string;
+        keyMap?: "vim" | "default";
+        lint?: boolean;
+        gutters?: string[];
+        tabindex?: number;
+        dragDrop?: boolean;
+        placeholder?: string;
+        readOnly?: boolean;
     }
 
     var CodeMirror: {