| commit | 841e9f32d5952d6f16f67294c2da8bf395066a9b | [log] [tgz] |
|---|---|---|
| author | Pierre Ossman <ossman@cendio.se> | Mon Oct 02 11:05:10 2017 +0200 |
| committer | Pierre Ossman <ossman@cendio.se> | Mon Oct 02 11:05:10 2017 +0200 |
| tree | 6b3dd599f4f8a2e8c789ede141dc23bccfc41d75 | |
| parent | 728b407c178d9f6276f6f501d167dc2d7189016d [diff] |
Use current server time for XUngrabKeyboard We might be calling this outside a normal FLTK event, so we cannot trust fl_event_time to have a sane value.