21 static void mape_preferences_dialog_cb_fixed_seed_toggled(GtkWidget* widget,
28 gtk_widget_set_sensitive(
30 gtk_toggle_button_get_active(
47 dialog->
ent_tab_width = gtk_spin_button_new_with_range(1, 8, 1);
75 dialog->
ent_map_width = gtk_spin_button_new_with_range(50, 500, 5);
103 dialog->
ent_map_height = gtk_spin_button_new_with_range(50, 500, 5);
131 dialog->
ent_map_zoom = gtk_spin_button_new_with_range(0.2, 5.0, 0.1);
132 gtk_spin_button_set_digits(GTK_SPIN_BUTTON(dialog->
ent_map_zoom), 2);
158 "Insert spaces instead of tabs"
163 "Automatic indentation"
173 "Display line numbers"
178 "Highlight current line"
183 "Highlight matching brackets"
224 G_CALLBACK(mape_preferences_dialog_cb_fixed_seed_toggled),
229 gtk_spin_button_set_value(
234 gtk_spin_button_set_value(
239 gtk_spin_button_set_value(
244 gtk_spin_button_set_value(
249 gtk_toggle_button_set_active(
254 gtk_toggle_button_set_active(
259 gtk_toggle_button_set_active(
264 gtk_toggle_button_set_active(
269 gtk_toggle_button_set_active(
274 gtk_toggle_button_set_active(
279 gtk_toggle_button_set_active(
286 mape_preferences_dialog_cb_fixed_seed_toggled(
291 gtk_spin_button_set_value(
296 dialog->
dialog = gtk_dialog_new_with_buttons(
299 GTK_DIALOG_MODAL | GTK_DIALOG_DESTROY_WITH_PARENT,
307 content_area = GTK_BOX(gtk_dialog_get_content_area(GTK_DIALOG(dialog->
dialog)));
404 gtk_container_set_border_width(
405 GTK_CONTAINER(content_area),
409 gtk_box_set_spacing(content_area, 5);
411 gtk_window_set_transient_for(GTK_WINDOW(dialog->
dialog), parent);
412 gtk_window_set_resizable(GTK_WINDOW(dialog->
dialog), FALSE);
419 gtk_widget_destroy(dialog->
dialog);
427 prefs.
tab_width = gtk_spin_button_get_value_as_int(
431 prefs.
map_width = gtk_spin_button_get_value_as_int(
435 prefs.
map_zoom = gtk_spin_button_get_value(
439 prefs.
map_height = gtk_spin_button_get_value_as_int(
467 prefs.
fixed_seed = gtk_toggle_button_get_active(
471 prefs.
random_seed = gtk_spin_button_get_value_as_int(
gboolean auto_indentation
gboolean bracket_matching
MapePreferences mape_preferences_dialog_get(MapePreferencesDialog *dialog)
MapePreferencesDialog * mape_preferences_dialog_new(GtkWindow *parent, MapePreferences *prefs)
void mape_preferences_dialog_destroy(MapePreferencesDialog *dialog)
GtkWidget * ent_random_seed
GtkWidget * hbox_random_seed
GtkWidget * cbx_fixed_seed
GtkWidget * ent_tab_width
GtkWidget * hbox_map_zoom
GtkWidget * hbox_tab_width
GtkWidget * cbx_bracket_matching
GtkWidget * cbx_line_numbers
GtkWidget * hbox_map_width
GtkWidget * lbl_map_height
GtkWidget * lbl_tab_width
GtkWidget * lbl_random_seed
GtkWidget * ent_map_height
GtkWidget * lbl_map_width
GtkWidget * cbx_highlight_line
GtkWidget * ent_map_width
GtkWidget * hbox_map_height
GtkWidget * cbx_text_wrapping
GtkWidget * cbx_auto_indentation
GtkWidget * cbx_tab_to_spaces