gpointer user_data);
void
-on_optionsEmulateEraser_activate (GtkMenuItem *menuitem,
+on_optionsButtonMappings_activate (GtkMenuItem *menuitem,
gpointer user_data);
void
void
on_mru_activate (GtkMenuItem *menuitem,
gpointer user_data);
+
+void
+on_button2Pen_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2Eraser_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2Highlighter_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2Text_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2SelectRegion_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2SelectRectangle_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2VerticalSpace_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2LinkBrush_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2CopyBrush_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Pen_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Eraser_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Highlighter_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Text_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3SelectRegion_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3SelectRectangle_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3VerticalSpace_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3LinkBrush_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3CopyBrush_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+
+void
+on_viewSetZoom_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_spinZoom_value_changed (GtkSpinButton *spinbutton,
+ gpointer user_data);
+
+void
+on_radioZoom_toggled (GtkToggleButton *togglebutton,
+ gpointer user_data);
+
+void
+on_radioZoom100_toggled (GtkToggleButton *togglebutton,
+ gpointer user_data);
+
+void
+on_radioZoomWidth_toggled (GtkToggleButton *togglebutton,
+ gpointer user_data);
+
+void
+on_radioZoomHeight_toggled (GtkToggleButton *togglebutton,
+ gpointer user_data);