workaround for GTK+ 2.17 crasher bugs (text edit box, combo box)

[xournal.git] / src / xo-callbacks.h

diff --git a/src/xo-callbacks.h b/src/xo-callbacks.h
index 8513ec8d33d89739821ba0d990e89ac9e1f9e006..ebe9b8bf834b4b274c42bc48fb2d597a325e433b 100644 (file)
--- a/src/xo-callbacks.h
+++ b/src/xo-callbacks.h
@@ -403,6 +403,11 @@ on_canvas_enter_notify_event           (GtkWidget       *widget,
                                         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,
@@ -592,3 +597,35 @@ on_button2Hand_activate                (GtkMenuItem     *menuitem,
 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);