From fd7cffffab9dfc910b62c145cb389a58918244c4 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Thu, 20 Feb 2025 18:15:55 +0100
Subject: [PATCH] Fix editor height

---
 src/views/conflicts-resolution/editor-pane.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/views/conflicts-resolution/editor-pane.tsx b/src/views/conflicts-resolution/editor-pane.tsx
index 4464d31..86c3de0 100644
--- a/src/views/conflicts-resolution/editor-pane.tsx
+++ b/src/views/conflicts-resolution/editor-pane.tsx
@@ -51,8 +51,12 @@ const EditorPane: React.FC<EditorPaneProps> = (props) => {
   return (
     <CodeMirror
       value={content}
+      style={{
+        height: "100%",
+      }}
       theme={"none"}
       width={"100%"}
+      height={"100%"}
       basicSetup={false}
       extensions={extensions}
       onChange={(value: string) => {