boolean show_element_token;
+ boolean show_read_only_warning;
+
boolean use_template_for_new_levels;
};
boolean skip_levels;
boolean increment_levels;
boolean auto_play_next_level;
- boolean skip_scores_after_game;
+ boolean show_scores_after_game;
boolean time_limit;
boolean fullscreen;
int window_scaling_percent;