+void UnmapScreenMenuGadgets(int screen_mask)
+{
+ int i;
+
+ for (i = 0; i < NUM_SCREEN_MENUBUTTONS; i++)
+ {
+ if (screen_mask & menubutton_info[i].screen_mask)
+ {
+ UnmapGadget(screen_gadget[menubutton_info[i].gadget_id]);
+
+ if (screen_mask & SCREEN_MASK_MAIN_HAS_SOLUTION)
+ DrawBackground(screen_gadget[menubutton_info[i].gadget_id]->x,
+ screen_gadget[menubutton_info[i].gadget_id]->y,
+ screen_gadget[menubutton_info[i].gadget_id]->width,
+ screen_gadget[menubutton_info[i].gadget_id]->height);
+ }
+ }
+}
+
+void UpdateScreenMenuGadgets(int screen_mask, boolean map_gadgets)
+{
+ if (map_gadgets)
+ MapScreenMenuGadgets(screen_mask);
+ else
+ UnmapScreenMenuGadgets(screen_mask);
+}
+