Updated compiling instructions.
[xboard.git] / xoptions.c
index 969a97d..25d3fe7 100644 (file)
@@ -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();
-       AnalysisPopDown();
         return;
     }
     if (strcmp(name, _("random")) == 0) {
@@ -164,7 +163,6 @@ void ShuffleCallback(w, client_data, call_data)
        shuffleOpenings = True;
         ShufflePopDown();
        ResetGameEvent();
-       AnalysisPopDown();
         return;
     }
 }