From b9d650d9ef8ffa7ea0bb032e728c0c7b8bc7b723 Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Sun, 1 Oct 2017 08:02:26 -0400 Subject: [PATCH] fix Jtk_RemoveTimer() --- src/gui/jtk/Jtk_timer.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gui/jtk/Jtk_timer.cc b/src/gui/jtk/Jtk_timer.cc index 557bf7e..4f4f2ce 100644 --- a/src/gui/jtk/Jtk_timer.cc +++ b/src/gui/jtk/Jtk_timer.cc @@ -64,9 +64,9 @@ void Jtk_RemoveTimer(size_t timer_id) { if (timer_id < g_timers.size()) { - g_timers[timer_id] = nullptr; auto timer = g_timers[timer_id]; g_active_timers.remove(timer); + g_timers[timer_id] = nullptr; } }