PsppireSelector: new properties: "source-widget" and "dest-widget".

[pspp-builds.git] / src / ui / gui / psppire-selector.h

diff --git a/src/ui/gui/psppire-selector.h b/src/ui/gui/psppire-selector.h
index 6fff5d4269da20286062e0f8c36def77374f1fa5..8174f97c8f5f4a20a1888774e75a05e72402d1fc 100644 (file)
--- a/src/ui/gui/psppire-selector.h
+++ b/src/ui/gui/psppire-selector.h
@@ -77,7 +77,10 @@ struct _PsppireSelector
   GtkWidget *arrow;
   GtkAction *action;
 
+  gboolean dispose_has_run;
+
   enum psppire_selector_dir direction;
+
   GtkWidget *source;
   GtkWidget *dest;
 
@@ -111,8 +114,6 @@ struct _PsppireSelectorClass
 GType      psppire_selector_get_type        (void);
 GtkWidget* psppire_selector_new             (void);
 void       psppire_selector_set_subjects    (PsppireSelector *,
-                                            GtkWidget *,
-                                            GtkWidget *,
                                             SelectItemsFunc *,
                                             FilterItemsFunc *,
                                             gpointer );