X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=winboard%2Fwinboard.c;h=6452a5b5dbe43e2b2b2a461f3885fd9cf318e66e;hb=5f05bf2e58fab151886184643c75f9d9b677b0a3;hp=e2705656a0598d5c190e714ada56d65e7c860869;hpb=fa8be4a3fc5d81e9ec1f6c218fcf55c95d34fd10;p=xboard.git

diff --git a/winboard/winboard.c b/winboard/winboard.c
index e270565..6452a5b 100644
--- a/winboard/winboard.c
+++ b/winboard/winboard.c
@@ -9872,6 +9872,7 @@ ScheduleDelayedEvent(DelayedEventCallback cb, long millisec)
     }
     KillTimer(hwndMain, delayedTimerEvent);
     delayedTimerEvent = 0;
+    if(delayedTimerCallback != cb) // [HGM] alive: do not "flush" same event, just postpone it
     delayedTimerCallback();
   }
   delayedTimerCallback = cb;