comparison scripts/miscellaneous/menu.m @ 6521:a07846d734db

[project @ 2007-04-12 15:26:38 by jwe]
author jwe
date Thu, 12 Apr 2007 15:26:38 +0000
parents 34f96dd5441b
children 93c65f2a5668
comparison
equal deleted inserted replaced
6520:260a54f29e9a 6521:a07846d734db
41 fflush (stdout); 41 fflush (stdout);
42 42
43 ## Don't send the menu through the pager since doing that can cause 43 ## Don't send the menu through the pager since doing that can cause
44 ## major confusion. 44 ## major confusion.
45 45
46 save_page_screen_output = page_screen_output; 46 save_page_screen_output = page_screen_output ();
47 47
48 unwind_protect 48 unwind_protect
49 49
50 page_screen_output = 0; 50 page_screen_output (0);
51 51
52 if (! isempty (t)) 52 if (! isempty (t))
53 disp (t); 53 disp (t);
54 printf ("\n"); 54 printf ("\n");
55 endif 55 endif
71 endif 71 endif
72 endwhile 72 endwhile
73 73
74 unwind_protect_cleanup 74 unwind_protect_cleanup
75 75
76 page_screen_output = save_page_screen_output; 76 page_screen_output (save_page_screen_output);
77 77
78 end_unwind_protect 78 end_unwind_protect
79 79
80 endfunction 80 endfunction