X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwindow-manager.h;h=2bb2fd7cf1a72d6ac5797a0028d6b0f5aefea25b;hb=5de8102af0956488f48ae9bf4941e5867a0f1260;hp=3bff13e747acad140cba0342a72a7148bedda0fb;hpb=3d2d7cd7e835a1f49fb24e629972dd5d99d872ab;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
   };