changeset 2110:dece5cc39e00

[project @ 1996-04-30 12:38:20 by jwe]
author jwe
date Tue, 30 Apr 1996 12:38:20 +0000
parents 356f70c8fcbd
children 07227f04abc5
files src/pager.cc
diffstat 1 files changed, 6 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc	Tue Apr 30 12:31:30 1996 +0000
+++ b/src/pager.cc	Tue Apr 30 12:38:20 1996 +0000
@@ -37,6 +37,7 @@
 #include "defun.h"
 #include "error.h"
 #include "help.h"
+#include "input.h"
 #include "oct-obj.h"
 #include "pager.h"
 #include "sighandlers.h"
@@ -151,10 +152,11 @@
 
       char *buf = eback ();
 
-      bool bypass_pager = (really_flush_to_pager
-			   && user_pref.page_screen_output
-			   && ! user_pref.page_output_immediately
-			   && ! more_than_a_screenful (buf));
+      bool bypass_pager = (! interactive
+			   || (really_flush_to_pager
+			       && user_pref.page_screen_output
+			       && ! user_pref.page_output_immediately
+			       && ! more_than_a_screenful (buf)));
 
       do_sync (buf, bypass_pager);