# HG changeset patch
# User jwe
# Date 832042743 0
# Node ID 0207f7f74be68a4ffc60c151af080f8200072840
# Parent  cf64d11526be9abfa9d13182dee79510170ce1d2
[project @ 1996-05-14 02:59:03 by jwe]

diff -r cf64d11526be -r 0207f7f74be6 src/pager.cc
--- 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;
 }