gpointer user_data);
void
-on_toggletoolClicked (GtkToolButton *toolbutton,
+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);
+