changeset 2186:0207f7f74be6

[project @ 1996-05-14 02:59:03 by jwe]
author jwe
date Tue, 14 May 1996 02:59:03 +0000
parents cf64d11526be
children 755b1cd2e914
files src/pager.cc
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc	Tue May 14 02:32:28 1996 +0000
+++ b/src/pager.cc	Tue May 14 02:59:03 1996 +0000
@@ -157,7 +157,8 @@
 int
 octave_pager_buf::sync (void)
 {
-  if (really_flush_to_pager
+  if (! interactive
+      || really_flush_to_pager
       || (Vpage_screen_output && Vpage_output_immediately)
       || ! Vpage_screen_output)
     {
@@ -206,7 +207,6 @@
 
 octave_pager_stream::~octave_pager_stream (void)
 {
-  really_flush_to_pager = 1;
   flush ();
   delete pb;
 }