5ebb18c47e
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. |
||
|---|---|---|
| .. | ||
| src | ||
| Cargo.toml | ||
| LICENSE-GPL | ||