diff options
| author | uhf7 <unknown> | 2020-08-03 13:33:52 +1000 |
|---|---|---|
| committer | uhf7 <unknown> | 2020-08-03 13:33:52 +1000 |
| commit | 36a8db7334b7f5c8f27c3d1a1499cb8cf8133493 (patch) | |
| tree | d21435da6adfe002741a2642824a1bc43384bb03 /doc | |
| parent | c721515c2aaadfa745fba564a05cfc90460654eb (diff) | |
| download | scintilla-mirror-36a8db7334b7f5c8f27c3d1a1499cb8cf8133493.tar.gz | |
Backport: Bug [#2193]. Fixed bug where hovered indicator was not returning to non-hover
appearance when mouse moved out of window or into margin.
Backport of changeset 8472:2f8f87a7d57f.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ScintillaHistory.html | 5 |
1 files changed, 5 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> |