+
+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);
+
+void
+on_toolsHand_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button2Hand_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_button3Hand_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_optionsPrintRuling_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_optionsDiscardCore_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_fontButton_font_set (GtkFontButton *fontbutton,
+ gpointer user_data);
+
+void
+on_optionsLeftHanded_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_optionsShortenMenus_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+void
+on_optionsAutoSavePrefs_activate (GtkMenuItem *menuitem,
+ gpointer user_data);
+
+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);