changeset 2120:6b3a4558a935

[project @ 1996-05-12 04:30:59 by jwe]
author jwe
date Sun, 12 May 1996 04:30:59 +0000
parents 5df627b1c5c5
children bc6ecd8f1175
files src/pager.cc
diffstat 1 files changed, 8 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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);