#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 *);
void reload_the_viewer (void);
-#define OUTPUT_FILE_NAME "psppire.txt"
-
-/* Make sure these two agree !! */
-#define OUTPUT_LINE_WIDTH 80
-#define OUTPUT_LINE_WIDTH_str "80"
-
-
+const char * output_file_name (void);
#endif