changeset 2185:cf64d11526be

[project @ 1996-05-14 02:31:28 by jwe]
author jwe
date Tue, 14 May 1996 02:32:28 +0000
parents dbbbb3559ee8
children 0207f7f74be6
files src/pager.cc
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc	Tue May 14 02:18:22 1996 +0000
+++ b/src/pager.cc	Tue May 14 02:32:28 1996 +0000
@@ -206,6 +206,7 @@
 
 octave_pager_stream::~octave_pager_stream (void)
 {
+  really_flush_to_pager = 1;
   flush ();
   delete pb;
 }