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

diff --git a/src/ui/gui/window-manager.h b/src/ui/gui/window-manager.h
index 3bff13e747..2bb2fd7cf1 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
   };