void set_preference_display_settings() { set_grid(grid()); set_turbo(turbo()); set_turbo_speed(turbo_speed()); set_color_cursors(preferences::get("color_cursors", true)); }
display_manager::display_manager(display* d) { disp = d; load_hotkeys(); set_grid(grid()); set_turbo(turbo()); set_turbo_speed(turbo_speed()); set_scroll_to_action(scroll_to_action()); set_color_cursors(preferences::get("color_cursors", false)); }