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 /src/EditView.cxx | |
| 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 'src/EditView.cxx')
0 files changed, 0 insertions, 0 deletions