void
on_optionsButtonsSwitchMappings_activate(GtkMenuItem *menuitem,
gpointer user_data);
+
+void
+on_toolsImage_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2Image_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Image_activate (GtkMenuItem *menuitem,
+ gpointer user_data);