From f9eedb4db777291cb206fd2a505256c5b6c27336 Mon Sep 17 00:00:00 2001
From: Jonathan Westhues <jwesthues@cq.cx>
Date: Sun, 4 Jan 2009 04:52:11 -0800
Subject: [PATCH] Oops, Windows timers are periodic. So after displaying a
 tooltip, we repainted once every second thereafter...

[git-p4: depot-paths = "//depot/solvespace/": change = 1889]
---
 win32/w32main.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/win32/w32main.cpp b/win32/w32main.cpp
index 02b0852..99edf4c 100644
--- a/win32/w32main.cpp
+++ b/win32/w32main.cpp
@@ -100,6 +100,8 @@ void Message(char *str, ...)
 
 void CALLBACK TimerCallback(HWND hwnd, UINT msg, UINT_PTR id, DWORD time)
 {
+    // The timer is periodic, so needs to be killed explicitly.
+    KillTimer(GraphicsWnd, 1);
     SS.GW.TimerCallback();
 }
 void SetTimerFor(int milliseconds)