New menu: Edit|Options

[pspp] / src / ui / gui / psppire-dictview.h

diff --git a/src/ui/gui/psppire-dictview.h b/src/ui/gui/psppire-dictview.h
index 622ed6135cb9670f7be3c19a594bad12298c4366..9855bb94d70952f7d21507ab7d66ae461add6f79 100644 (file)
--- a/src/ui/gui/psppire-dictview.h
+++ b/src/ui/gui/psppire-dictview.h
@@ -51,7 +51,8 @@ struct _PsppireDictView
   PsppireDict *dict;
   var_predicate_func *predicate;
   GtkWidget *menu;
-  gboolean prefer_labels;
+  gboolean prefer_labels_override;
+  GtkWidget *override_button;
   GtkTreeModel *sorted_model;
 };