diff options
| author | uhf7 <unknown> | 2020-08-03 13:33:52 +1000 |
|---|---|---|
| committer | uhf7 <unknown> | 2020-08-03 13:33:52 +1000 |
| commit | 33327930f7c87bc1ad620c89e506e341ccb2238a (patch) | |
| tree | 71c3dc04e6b7cfbad317abf661cb9102612b5a66 /src/EditView.h | |
| parent | 87904678847c17c12c11727e03c042b53cd31f2d (diff) | |
| download | scintilla-mirror-33327930f7c87bc1ad620c89e506e341ccb2238a.tar.gz | |
Bug [#2193]. Fixed bug where hovered indicator was not returning to non-hover
appearance when mouse moved out of window or into margin.
Diffstat (limited to 'src/EditView.h')
0 files changed, 0 insertions, 0 deletions