# HG changeset patch
# User jwe
# Date 831875459 0
# Node ID 6b3a4558a9358e3d8c32178910217cbe84ddb38c
# Parent  5df627b1c5c522709191bb36aa63b5b20036a85b
[project @ 1996-05-12 04:30:59 by jwe]

diff -r 5df627b1c5c5 -r 6b3a4558a935 src/pager.cc
--- a/src/pager.cc	Sat May 11 10:15:02 1996 +0000
+++ b/src/pager.cc	Sun May 12 04:30:59 1996 +0000
@@ -144,18 +144,22 @@
 int
 octave_pager_buf::sync (void)
 {
+  bool page_output = user_pref.page_screen_output;
+  bool page_immediately = user_pref.page_output_immediately;
+
   if (really_flush_to_pager
-      || (user_pref.page_screen_output && user_pref.page_output_immediately)
-      || ! user_pref.page_screen_output)
+      || (page_output && page_immediately)
+      || ! page_output)
     {
       sputc ('\0');
 
       char *buf = eback ();
 
       bool bypass_pager = (! interactive
+			   || ! page_output
 			   || (really_flush_to_pager
-			       && user_pref.page_screen_output
-			       && ! user_pref.page_output_immediately
+			       && page_output
+			       && ! page_immediately
 			       && ! more_than_a_screenful (buf)));
 
       do_sync (buf, bypass_pager);