comparison src/pager.cc @ 3258:4964d5391acc

[project @ 1999-07-21 21:51:33 by jwe]
author jwe
date Wed, 21 Jul 1999 21:52:04 +0000
parents 98d0ee053ba4
children 7c03933635c6
comparison
equal deleted inserted replaced
3257:5e61a7a62e2e 3258:4964d5391acc
505 } 505 }
506 506
507 void 507 void
508 symbols_of_pager (void) 508 symbols_of_pager (void)
509 { 509 {
510 DEFVAR (PAGER, default_pager (), 0, pager_binary, 510 DEFVAR (PAGER, default_pager (), pager_binary,
511 "path to pager binary"); 511 "path to pager binary");
512 512
513 DEFVAR (page_output_immediately, 0.0, 0, page_output_immediately, 513 DEFVAR (page_output_immediately, 0.0, page_output_immediately,
514 "if paging output, start sending it as soon as it is available"); 514 "if paging output, start sending it as soon as it is available");
515 515
516 DEFVAR (page_screen_output, 1.0, 0, page_screen_output, 516 DEFVAR (page_screen_output, 1.0, page_screen_output,
517 "if possible, send output intended for the screen through the pager"); 517 "if possible, send output intended for the screen through the pager");
518 } 518 }
519 519
520 /* 520 /*
521 ;;; Local Variables: *** 521 ;;; Local Variables: ***