+void
+on_toolsReco_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+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);