comparison src/pager.cc @ 1965:01e3ed56c415

[project @ 1996-02-17 02:02:50 by jwe]
author jwe
date Sat, 17 Feb 1996 02:03:11 +0000
parents 0e6a0a271998
children 003570e69c7b
comparison
equal deleted inserted replaced
1964:2ff7b73519db 1965:01e3ed56c415
110 110
111 delete [] message; 111 delete [] message;
112 } 112 }
113 } 113 }
114 114
115 static void
116 cleanup_oprocstream (void *p)
117 {
118 delete (oprocstream *) p;
119 }
120
115 void 121 void
116 flush_output_to_pager (void) 122 flush_output_to_pager (void)
117 { 123 {
118 // Extract message from buffer, then delete the buffer so that any 124 // Extract message from buffer, then delete the buffer so that any
119 // new messages get sent separately. 125 // new messages get sent separately.
201 { 207 {
202 Octave_object retval; 208 Octave_object retval;
203 209
204 int argc = args.length () + 1; 210 int argc = args.length () + 1;
205 211
206 string_vector argv = make_argv (args, "diary"); 212 string_vector argv = args.make_argv ("diary");
207 213
208 if (error_state) 214 if (error_state)
209 return retval; 215 return retval;
210 216
211 if (diary_file.empty ()) 217 if (diary_file.empty ())
253 { 259 {
254 Octave_object retval; 260 Octave_object retval;
255 261
256 int argc = args.length () + 1; 262 int argc = args.length () + 1;
257 263
258 string_vector argv = make_argv (args, "more"); 264 string_vector argv = args.make_argv ("more");
259 265
260 if (error_state) 266 if (error_state)
261 return retval; 267 return retval;
262 268
263 if (argc == 2) 269 if (argc == 2)