X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xoptions.c;h=25d3fe7eef16f82b265d0ccccc09a97cfe4fb390;hb=d9a803f2e64634ff75f89b7e3b0a65ac085f0e36;hp=514c9d6c3b9e24e83751c88a7ba9bddf6bd1da6c;hpb=a58df46e1b619e6d5be974896e5b457ed4b37b23;p=xboard.git

diff --git a/xoptions.c b/xoptions.c
index 514c9d6..25d3fe7 100644
--- a/xoptions.c
+++ b/xoptions.c
@@ -142,7 +142,6 @@ void ShuffleCallback(w, client_data, call_data)
         ShufflePopDown();
 	shuffleOpenings = False; // [HGM] should be moved to New Variant menu, once we have it!
 	ResetGameEvent();
-	EngineOutputPopDown();
         return;
     }
     if (strcmp(name, _("random")) == 0) {
@@ -164,7 +163,6 @@ void ShuffleCallback(w, client_data, call_data)
 	shuffleOpenings = True;
         ShufflePopDown();
 	ResetGameEvent();
-	EngineOutputPopDown();
         return;
     }
 }