diff options
| author | Dan Gudmundsson <[email protected]> | 2018-12-12 13:15:58 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2018-12-12 13:15:58 +0100 |
| commit | 57e980c90bd8d4c8eaa90f7dcc0246d4dc22af70 (patch) | |
| tree | 58dd4d62c9a39ab4f6a6b153456946b7f0f7120a /lib/tools | |
| parent | 3825199794da28d79b21052a2e69e2335921d55e (diff) | |
| download | otp-57e980c90bd8d4c8eaa90f7dcc0246d4dc22af70.tar.gz otp-57e980c90bd8d4c8eaa90f7dcc0246d4dc22af70.tar.bz2 otp-57e980c90bd8d4c8eaa90f7dcc0246d4dc22af70.zip | |
Let wxwidgets check events
Check events more often not just inside batches but also when X
commands have been processed.
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions