{ TYPE_HEADLINE, NULL, "Boulder Dash" },
{ TYPE_SWITCH, &setup.bd_skip_uncovering, "Skip (un)covering screen:" },
{ TYPE_SWITCH, &setup.bd_skip_hatching, "Skip hatching player:" },
+ { TYPE_SWITCH, &setup.bd_scroll_delay, "Scroll Delay:" },
+ { TYPE_YES_NO_AUTO, &setup.bd_smooth_movements, "Smooth Element Movement:" },
{ TYPE_EMPTY, NULL, "" },
{ TYPE_HEADLINE, NULL, "Emerald Mine" },
{ TYPE_SWITCH, &setup.forced_scroll_delay, "Scroll Delay:" },
MapGadget(screen_gadget[scrollbar_info[i].gadget_id]);
}
-static void UnmapScreenGadgets()
+static void UnmapScreenGadgets(void)
{
int i;