diff options
| author | uhf7 <unknown> | 2020-08-11 20:26:42 +1000 |
|---|---|---|
| committer | uhf7 <unknown> | 2020-08-11 20:26:42 +1000 |
| commit | 4613f965caa9b42abe8535c20fbca6a1384f4d92 (patch) | |
| tree | 7a8539b844c577ded35fba381249fa22e90403bc /src/Editor.cxx | |
| parent | 10943e3c86a55cbd4690d7181c7f4d8a5ed9f04a (diff) | |
| download | scintilla-mirror-4613f965caa9b42abe8535c20fbca6a1384f4d92.tar.gz | |
Backport: Bug [#2193]. Fixed bug where hovered indicator was not returning to non-hover
when mouse over selection.
Backport of changeset 8477:5d056f2f3fc5.
Diffstat (limited to 'src/Editor.cxx')
| -rw-r--r-- | src/Editor.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index dbdfa4d0a..4256bb817 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -4880,6 +4880,7 @@ void Editor::ButtonMoveWithModifiers(Point pt, unsigned int, int modifiers) { // Display regular (drag) cursor over selection if (PointInSelection(pt) && !SelectionEmpty()) { DisplayCursor(Window::cursorArrow); + SetHoverIndicatorPosition(Sci::invalidPosition); } else { SetHoverIndicatorPoint(pt); if (PointIsHotspot(pt)) { |