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 f6cc9675342dc538ccc093148a425bcbc95d8697..9a387d189b8e3ac16ec61d62f8e96f56d5f1bc11 100644 (file)
--- a/src/xournal.h
+++ b/src/xournal.h
@@ -134,7 +134,7 @@ struct UndoErasureData;
 typedef struct Item {
   int type;
   struct Brush brush; // the brush to use, if ITEM_STROKE
-  // 'brush" also contains color info for text items
+  // 'brush' also contains color info for text items
   GnomeCanvasPoints *path;
   gdouble *widths;
   GnomeCanvasItem *canvas_item; // the corresponding canvas item, or NULL
@@ -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