Wake UI with a wxEVT_IDLE which is the event that SignalManager::ui_idle is tied to.

diff --git a/src/wx/wx_signal_manager.cc b/src/wx/wx_signal_manager.cc
index 3d8b9992a20a7f6d394d86d7d7529b4ff54c5ed3..3591d8cec377292f039ac0df2e7e39d25eab921b 100644 (file)
--- a/src/wx/wx_signal_manager.cc
+++ b/src/wx/wx_signal_manager.cc
@@ -29,6 +29,6 @@ wxSignalManager::wxSignalManager (wxEvtHandler* h)
 void
 wxSignalManager::wake_ui ()
 {
-       wxCommandEvent event (-1, -1);
+       wxCommandEvent event (wxEVT_IDLE);
        _handler->AddPendingEvent (event);
 }