| commit | 14466a6d19ca97f4dcf07688ebe4411aeb51958a | [log] [tgz] |
|---|---|---|
| author | ocornut <omarcornut@gmail.com> | Tue Nov 02 16:59:48 2021 +0100 |
| committer | ocornut <omarcornut@gmail.com> | Tue Nov 02 17:04:35 2021 +0100 |
| tree | 6899076ed560d8574f84130214674a5b49954ee6 | |
| parent | 978598b174e6cb0ddc0e1c38023d11cacc2a554e [diff] |
Nav: Page/Home/End doesn't immediately restore highlight (before results comes) + pressing Esc to exit a child window re-enable the Nav highlight if it was disabled by mouse. Also fix a move request fail restoring highlight from not moving mouse cursor. Add NavRestoreHighlightAfterMove() helper a little bit of extra sanity.