diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-25 18:46:26 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-10-25 18:46:26 +0200 |
| commit | c2c86a3dcdf6d5e790981bdf115ef05c4897ebfe (patch) | |
| tree | daa3d4033243a8ec0b55324f5ff95e3c93d7546a /src/ui/util.c | |
| parent | e2f606adc2df114a15a4052e18dedfd02e4bbf56 (diff) | |
Window: Workaround for a key handling issue
Likely a rare situation, but this workaround should be relatively
safe -- ignore keydown events if they occur less than 10 milliseconds
after the window has received input focus.
IssueID #10
Diffstat (limited to 'src/ui/util.c')
0 files changed, 0 insertions, 0 deletions