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

[xournal.git] / src / xournal.h

diff --git a/src/xournal.h b/src/xournal.h
index 8e2aff618342384bc35698e46f34a6ecf87d0379..9a387d189b8e3ac16ec61d62f8e96f56d5f1bc11 100644 (file)
--- a/src/xournal.h
+++ b/src/xournal.h
@@ -274,6 +274,7 @@ typedef struct UIData {
   gboolean shorten_menus; // shorten menus ?
   gchar *shorten_menu_items; // which items to hide
   gboolean is_sel_cursor; // displaying a selection-related cursor
+  gboolean need_emergency_disable_xinput; // need to disable xinput to avoid GTK+ 2.17 bug ?
 } UIData;
 
 #define BRUSH_LINKED 0