16 #ifndef INC_MAPE_PREFERENCESDIALOG_H
17 #define INC_MAPE_PREFERENCESDIALOG_H
MapePreferences mape_preferences_dialog_get(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
MapePreferencesDialog * mape_preferences_dialog_new(GtkWindow *parent, MapePreferences *prefs)
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
void mape_preferences_dialog_destroy(MapePreferencesDialog *dialog)
GtkWidget * cbx_auto_indentation
GtkWidget * cbx_tab_to_spaces