From afd4b83814ff3bfa946fc83b3178be0c22e9d01f Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop@gmail.com>
Date: Sun, 1 Oct 2017 08:03:44 -0400
Subject: [PATCH] service timers so they do not infinitely re-trigger

---
 src/gui/jtk/Jtk_event.cc | 1 +
 1 file changed, 1 insertion(+)

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;
         }