partly fix for bug #27715: scaling of menu bar

[xboard.git] / backend.c

diff --git a/backend.c b/backend.c
index bf1a32c..756641c 100755 (executable)
--- a/backend.c
+++ b/backend.c
@@ -10930,7 +10930,9 @@ TwoMachinesEvent P((void))
 
        strcpy(bookMove, "move ");
        strcat(bookMove, bookHit);
-       HandleMachineMove(bookMove, &first);
+       savedMessage = bookMove; // args for deferred call
+       savedState = onmove;
+       ScheduleDelayedEvent(DeferredBookMove, 1);
     }
 }