X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.h;h=2bb2fd7cf1a72d6ac5797a0028d6b0f5aefea25b;hb=fe95b5dcdb4808642094719019e2d7fed16b93ed;hp=3bff13e747acad140cba0342a72a7148bedda0fb;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp-builds.git

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index 3bff13e7..2bb2fd7c 100644
--- a/src/ui/gui/window-manager.h
+++ b/src/ui/gui/window-manager.h
@@ -23,7 +23,8 @@
 enum window_type
   {
     WINDOW_DATA,
-    WINDOW_SYNTAX
+    WINDOW_SYNTAX,
+    WINDOW_OUTPUT
   };