on_optionsButtonMappings_activate (GtkMenuItem *menuitem,
gpointer user_data);
-void
-on_optionsAntialiasBG_activate (GtkMenuItem *menuitem,
- gpointer user_data);
-
void
on_optionsProgressiveBG_activate (GtkMenuItem *menuitem,
gpointer user_data);
-
void
on_mru_activate (GtkMenuItem *menuitem,
gpointer user_data);
gpointer user_data);
void
-on_optionsDiscardCore_activate (GtkMenuItem *menuitem,
+on_optionsAutoloadPdfXoj_activate (GtkMenuItem *menuitem,
gpointer user_data);
void
void
on_optionsPressureSensitive_activate (GtkMenuItem *menuitem,
gpointer user_data);
+
+void
+on_buttonColorChooser_set (GtkColorButton *colorbutton,
+ gpointer user_data);
+
+void
+on_optionsButtonsSwitchMappings_activate(GtkMenuItem *menuitem,
+ gpointer user_data);