37 |
void on_themebutton_clicked (GtkButton * button, gpointer user_data); |
void on_themebutton_clicked (GtkButton * button, gpointer user_data); |
38 |
void on_pathbutton_clicked (GtkButton * button, gpointer user_data); |
void on_pathbutton_clicked (GtkButton * button, gpointer user_data); |
39 |
void on_fontbutton_clicked (GtkButton * button, gpointer user_data); |
void on_fontbutton_clicked (GtkButton * button, gpointer user_data); |
40 |
|
void on_autosavecheckbutton_toggled(GtkToggleButton * togglebutton, |
41 |
|
gpointer user_data); |
42 |
|
void on_savecheckbutton_toggled (GtkToggleButton * togglebutton, |
43 |
|
gpointer user_data); |
44 |
|
|
45 |
/* color selection dialog */ |
/* color selection dialog */ |
46 |
void on_colorokbutton_clicked (GtkButton * button, gpointer user_data); |
void on_colorokbutton_clicked (GtkButton * button, gpointer user_data); |