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.
This commit is contained in:
Smit Barmase 2025-04-17 11:48:33 +05:30 committed by GitHub
parent ded1c7012c
commit 5ebb18c47e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1007,9 +1007,6 @@ impl EditorElement {
} else {
editor.hide_hovered_link(cx);
hover_at(editor, None, window, cx);
if gutter_hovered {
cx.stop_propagation();
}
}
}