X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-selector.h;h=cb3f10f824e41b031a7331467bf7466a4d10def3;hb=1d5a97ba2afec23855a8294ff2814ab052f6777a;hp=072139107ccc7325aeef48fb5210e6b2554964ff;hpb=7eb25e65dbd7fbee132e3df6cfb743938cc578bc;p=pspp-builds.git

diff --git a/src/ui/gui/psppire-selector.h b/src/ui/gui/psppire-selector.h
index 07213910..cb3f10f8 100644
--- a/src/ui/gui/psppire-selector.h
+++ b/src/ui/gui/psppire-selector.h
@@ -79,6 +79,11 @@ struct _PsppireSelector
   GtkWidget *source;
   GtkWidget *dest;
 
+  /* A flag indicating that the object is in the process of
+     updating its subjects.
+     (not thread safe if two threads access the same object)
+  */
+  gboolean selecting;
 
   gint orientation;