From 5ebb18c47e5fc283e2afada6dd434be33f0618e6 Mon Sep 17 00:00:00 2001
From: Smit Barmase <heysmitbarmase@gmail.com>
Date: Thu, 17 Apr 2025 11:48:33 +0530
Subject: [PATCH] editor: Fix scrolling drag interrupted on gutter hovering
 (#28924)

Closes #27188

This PR fixes the issue where, when you drag the scroll handle of the
editor and your mouse hovers over the gutter of the next editor,
scrolling stops. I found no good reason to stop propagation on gutter
hover.

Release Notes:

- Fixed an issue where editor scrolling would stop when the mouse
hovered over another editor's gutter.
---
 crates/editor/src/element.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs
index 0c96472307..66351b7373 100644
--- a/crates/editor/src/element.rs
+++ b/crates/editor/src/element.rs
@@ -1007,9 +1007,6 @@ impl EditorElement {
         } else {
             editor.hide_hovered_link(cx);
             hover_at(editor, None, window, cx);
-            if gutter_hovered {
-                cx.stop_propagation();
-            }
         }
     }