diff scripts/miscellaneous/menu.m @ 2360:8fc0fa7ae9ca

[project @ 1996-10-10 22:36:46 by jwe]
author jwe
date Thu, 10 Oct 1996 22:39:02 +0000
parents 949ab8eba8bc
children 8b262e771614
line wrap: on
line diff
--- a/scripts/miscellaneous/menu.m
+++ b/scripts/miscellaneous/menu.m
@@ -40,7 +40,7 @@
 
   unwind_protect
 
-    page_screen_output = "false";
+    page_screen_output = 0;
 
     if (! isempty (t))
       disp (t);