diff 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
line wrap: on
line diff
--- a/src/pager.cc	Fri Jul 16 16:24:17 1999 +0000
+++ b/src/pager.cc	Wed Jul 21 21:52:04 1999 +0000
@@ -507,13 +507,13 @@
 void
 symbols_of_pager (void)
 {
-  DEFVAR (PAGER, default_pager (), 0, pager_binary,
+  DEFVAR (PAGER, default_pager (), pager_binary,
     "path to pager binary");
 
-  DEFVAR (page_output_immediately, 0.0, 0, page_output_immediately,
+  DEFVAR (page_output_immediately, 0.0, page_output_immediately,
     "if paging output, start sending it as soon as it is available");
 
-  DEFVAR (page_screen_output, 1.0, 0, page_screen_output,
+  DEFVAR (page_screen_output, 1.0, page_screen_output,
     "if possible, send output intended for the screen through the pager");
 }