diff options
| author | Dan Gudmundsson <[email protected]> | 2014-01-16 16:20:35 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-01-16 16:20:35 +0100 |
| commit | 51e369a1b90490e69a358d8c8f0bb9bfbf9f511c (patch) | |
| tree | 5a0bb953838d777efbd6bb4c0f410c7080367894 /lib/webtool | |
| parent | ab86370cba95339703b3043470da3ee6fec9b360 (diff) | |
| download | otp-51e369a1b90490e69a358d8c8f0bb9bfbf9f511c.tar.gz otp-51e369a1b90490e69a358d8c8f0bb9bfbf9f511c.tar.bz2 otp-51e369a1b90490e69a358d8c8f0bb9bfbf9f511c.zip | |
wx: Fix hanging wx calls
wxWakeUpIdle doesn't always work on wxGTK and the workaround is to
periodically invoke it, so the gui-thread doesn't get stuck in poll.
Previously it was only called when NOT in batch mode, however if the
wxWakeUpIdle call after a batch_begin command did not wake up the
thread it would still get stuck in poll.
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions