X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-selector.h;h=8174f97c8f5f4a20a1888774e75a05e72402d1fc;hb=7c2fa3735ac1115b6c1ad4b5e0613673de2faf4c;hp=6fff5d4269da20286062e0f8c36def77374f1fa5;hpb=a7c7dd31b1ac252a08d7cfc2748cc3820c96e088;p=pspp-builds.git

diff --git a/src/ui/gui/psppire-selector.h b/src/ui/gui/psppire-selector.h
index 6fff5d42..8174f97c 100644
--- 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 );