comparison src/pager.cc @ 2120:6b3a4558a935

[project @ 1996-05-12 04:30:59 by jwe]
author jwe
date Sun, 12 May 1996 04:30:59 +0000
parents dece5cc39e00
children 5a417927755a
comparison
equal deleted inserted replaced
2119:5df627b1c5c5 2120:6b3a4558a935
142 } 142 }
143 143
144 int 144 int
145 octave_pager_buf::sync (void) 145 octave_pager_buf::sync (void)
146 { 146 {
147 bool page_output = user_pref.page_screen_output;
148 bool page_immediately = user_pref.page_output_immediately;
149
147 if (really_flush_to_pager 150 if (really_flush_to_pager
148 || (user_pref.page_screen_output && user_pref.page_output_immediately) 151 || (page_output && page_immediately)
149 || ! user_pref.page_screen_output) 152 || ! page_output)
150 { 153 {
151 sputc ('\0'); 154 sputc ('\0');
152 155
153 char *buf = eback (); 156 char *buf = eback ();
154 157
155 bool bypass_pager = (! interactive 158 bool bypass_pager = (! interactive
159 || ! page_output
156 || (really_flush_to_pager 160 || (really_flush_to_pager
157 && user_pref.page_screen_output 161 && page_output
158 && ! user_pref.page_output_immediately 162 && ! page_immediately
159 && ! more_than_a_screenful (buf))); 163 && ! more_than_a_screenful (buf)));
160 164
161 do_sync (buf, bypass_pager); 165 do_sync (buf, bypass_pager);
162 166
163 octave_diary << buf; 167 octave_diary << buf;