service timers so they do not infinitely re-trigger

2017-10-01 08:03:44 -04:00 · 2017-10-01 08:03:44 -04:00 · afd4b83814
commit afd4b83814
parent b9d650d9ef
1 changed files with 1 additions and 0 deletions
--- 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;
        }