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/mnesia | |
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/mnesia')
0 files changed, 0 insertions, 0 deletions