diff --git a/src/gui/jtk/Jtk_event.cc b/src/gui/jtk/Jtk_event.cc index 6643311..9a21ec0 100644 --- a/src/gui/jtk/Jtk_event.cc +++ b/src/gui/jtk/Jtk_event.cc @@ -241,6 +241,7 @@ void Jtk_WaitEvent(Jtk_Event * event) { event->type = JTK_EVENT_TIMER; event->timer.timer_id = timer_id; + Jtk_ServiceTimer(timer_id); return; }