John's original code for patch #6210.
[pspp] / src / ui / gui / output-viewer.h
index 0bc148bb3c57939eec08f410acfe268f19352741..2036b66f323318265eaa7f88fa0966ffaec2d754 100644 (file)
@@ -23,6 +23,9 @@
 #include "window-manager.h"
 
 
+extern int viewer_length ;
+extern int viewer_width ;
+
 struct output_viewer * new_output_viewer (void);
 
 void reload_viewer (struct output_viewer *);