GdkEventCrossing *event,
gpointer user_data);
+gboolean
+on_canvas_leave_notify_event (GtkWidget *widget,
+ GdkEventCrossing *event,
+ gpointer user_data);
+
gboolean
on_canvas_expose_event (GtkWidget *widget,
GdkEventExpose *event,
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);