comparison src/pager.cc @ 1352:19c10b8657d5

[project @ 1995-09-05 08:11:57 by jwe]
author jwe
date Tue, 05 Sep 1995 08:33:58 +0000
parents 94bedeb289e5
children dc9c01f66a19
comparison
equal deleted inserted replaced
1351:8256c4c57419 1352:19c10b8657d5
32 #include <strstream.h> 32 #include <strstream.h>
33 #include <fstream.h> 33 #include <fstream.h>
34 34
35 #include "procstream.h" 35 #include "procstream.h"
36 36
37 #include "defun.h"
38 #include "error.h"
39 #include "help.h"
40 #include "input.h"
41 #include "oct-obj.h"
42 #include "pager.h"
37 #include "sighandlers.h" 43 #include "sighandlers.h"
38 #include "user-prefs.h" 44 #include "user-prefs.h"
39 #include "oct-obj.h"
40 #include "error.h"
41 #include "defun.h"
42 #include "input.h"
43 #include "pager.h"
44 #include "utils.h" 45 #include "utils.h"
45 #include "help.h"
46 46
47 // Where we stash output headed for the screen. 47 // Where we stash output headed for the screen.
48 static ostrstream *pager_buf = 0; 48 static ostrstream *pager_buf = 0;
49 49
50 // Nonzero means we write to the diary file. 50 // Nonzero means we write to the diary file.