From 33327930f7c87bc1ad620c89e506e341ccb2238a Mon Sep 17 00:00:00 2001
From: uhf7 <unknown>
Date: Mon, 3 Aug 2020 13:33:52 +1000
Subject: Bug [#2193]. Fixed bug where hovered indicator was not returning to
 non-hover appearance when mouse moved out of window or into margin.

---
 src/Editor.cxx | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/Editor.cxx b/src/Editor.cxx
index 1ece08feb..bc9b7e713 100644
--- a/src/Editor.cxx
+++ b/src/Editor.cxx
@@ -4506,6 +4506,7 @@ void Editor::DwellEnd(bool mouseMoved) {
 
 void Editor::MouseLeave() {
 	SetHotSpotRange(nullptr);
+	SetHoverIndicatorPosition(Sci::invalidPosition);
 	if (!HaveMouseCapture()) {
 		ptMouseLast = Point(-1, -1);
 		DwellEnd(true);
@@ -4874,6 +4875,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
 			}
 		}
-- 
cgit v1.2.3