diff options
author | uhf7 <unknown> | 2020-08-11 20:26:42 +1000 |
---|---|---|
committer | uhf7 <unknown> | 2020-08-11 20:26:42 +1000 |
commit | 4613f965caa9b42abe8535c20fbca6a1384f4d92 (patch) | |
tree | 7a8539b844c577ded35fba381249fa22e90403bc /src/EditView.cxx | |
parent | 10943e3c86a55cbd4690d7181c7f4d8a5ed9f04a (diff) | |
download | scintilla-mirror-4613f965caa9b42abe8535c20fbca6a1384f4d92.tar.gz |
Backport: Bug [#2193]. Fixed bug where hovered indicator was not returning to non-hover
when mouse over selection.
Backport of changeset 8477:5d056f2f3fc5.
Diffstat (limited to 'src/EditView.cxx')
0 files changed, 0 insertions, 0 deletions