diff -r 58b788fd10a7 -r 395542d915d7 src/game.h
--- a/src/game.h	Sat Mar 28 12:57:05 2026 +0100
+++ b/src/game.h	Sat Mar 28 14:01:14 2026 +0100
@@ -43,6 +43,7 @@
     char* serverhost; /* NULL, if we are about to start a server */
     char* continuepgn;
     bool singlemachine;
+    bool disableflip;
     bool unicode;
 } Settings;