| commit | 80a870a3e5c3b4c817fd6f076c64fc3c098e8093 | [log] [tgz] |
|---|---|---|
| author | ocornut <omarcornut@gmail.com> | Wed Sep 28 12:08:40 2022 +0200 |
| committer | ocornut <omarcornut@gmail.com> | Tue Oct 04 15:34:17 2022 +0200 |
| tree | eac72a7d856621e7938e1c46afe03ae3ee3bd51b | |
| parent | 282b2b5afbfbf5eca9e9ea29203b0eceb02dba23 [diff] |
Scrolling: Tweak mouse-wheel locked window timer so it is shorter but also gets reset whenever scrolling again (#2604) + small refactor Somehow interesting for (#3795, #4559). sorry this will break PR for 3795 but we got the info.