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

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;