diff options
| -rw-r--r-- | doc/ScintillaHistory.html | 5 | ||||
| -rw-r--r-- | src/Editor.cxx | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index 8c668f1d8..e9b241752 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -585,6 +585,11 @@ indicator with hover style. <a href="https://sourceforge.net/p/scintilla/bugs/2170/">Bug #2170</a>. </li> + <li> + Fixed bug where hovered indicator was not returning to non-hover + appearance when mouse moved out of window or into margin. + <a href="https://sourceforge.net/p/scintilla/bugs/2193/">Bug #2193</a>. + </li> </ul> <h3> <a href="https://sourceforge.net/projects/scintilla/files/scintilla/3.21.0/scintilla3210.zip/download">Release 3.21.0</a> diff --git a/src/Editor.cxx b/src/Editor.cxx index 962f62cf1..8ff94b39f 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -4502,6 +4502,7 @@ void Editor::DwellEnd(bool mouseMoved) { void Editor::MouseLeave() { SetHotSpotRange(nullptr); + SetHoverIndicatorPosition(Sci::invalidPosition); if (!HaveMouseCapture()) { ptMouseLast = Point(-1, -1); DwellEnd(true); @@ -4870,6 +4871,7 @@ void Editor::ButtonMoveWithModifiers(Point pt, unsigned int, int modifiers) { if (PointInSelMargin(pt)) { DisplayCursor(GetMarginCursor(pt)); SetHotSpotRange(nullptr); + SetHoverIndicatorPosition(Sci::invalidPosition); return; // No need to test for selection } } |