UpdateScreenMenuGadgets(SCREEN_MASK_MAIN_HAS_SOLUTION, hasSolutionTape());
// needed because DrawPreviewLevelInitial() takes some time
UpdateScreenMenuGadgets(SCREEN_MASK_MAIN_HAS_SOLUTION, hasSolutionTape());
// needed because DrawPreviewLevelInitial() takes some time