From 0721aa9d904026eda23308daea112bd4a6d927f3 Mon Sep 17 00:00:00 2001
From: Silvano Cerza <silvanocerza@gmail.com>
Date: Sat, 22 Feb 2025 11:12:55 +0100
Subject: [PATCH] Fix annoying TS error

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

diff --git a/src/views/conflicts-resolution/editor-pane.tsx b/src/views/conflicts-resolution/editor-pane.tsx
index 4367466..a6556d2 100644
--- a/src/views/conflicts-resolution/editor-pane.tsx
+++ b/src/views/conflicts-resolution/editor-pane.tsx
@@ -54,7 +54,8 @@ const EditorPane: React.FC<EditorPaneProps> = (props) => {
       markdown(),
       EditorView.domEventObservers({
         scroll(event) {
-          onScrollTopUpdate?.(event.target.scrollTop);
+          const target = event.target as HTMLElement;
+          onScrollTopUpdate?.(target.scrollTop);
         },
       }),
     ];