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

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;
     }
 }