X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-output-window.h;h=74d3bb97be3cf9884933a5d0985600b949fdc8c3;hb=adf4bc614f52fd20d34190dc710af5db9a897c40;hp=4fc019991c8cdb264b764620f20918d1aa060e74;hpb=376bc1e2594564c432857c50f2f779093ce70710;p=pspp

diff --git a/src/ui/gui/psppire-output-window.h b/src/ui/gui/psppire-output-window.h
index 4fc019991c..74d3bb97be 100644
--- a/src/ui/gui/psppire-output-window.h
+++ b/src/ui/gui/psppire-output-window.h
@@ -67,6 +67,8 @@ struct _PsppireOutputWindow
   int print_item;
   int print_n_pages;
   gboolean paginated;
+
+  gboolean dispose_has_run;
 };
 
 struct _PsppireOutputWindowClass