# HG changeset patch # User jwe # Date 1176391598 0 # Node ID a07846d734db3ca9b08212270f1c029873f40334 # Parent 260a54f29e9a004dcc5aa2673f5059c1cfcdea03 [project @ 2007-04-12 15:26:38 by jwe] diff -r 260a54f29e9a -r a07846d734db scripts/ChangeLog --- a/scripts/ChangeLog Wed Apr 11 21:29:32 2007 +0000 +++ b/scripts/ChangeLog Thu Apr 12 15:26:38 2007 +0000 @@ -1,3 +1,7 @@ +2007-04-12 Carlo de Falco + + * miscellaneous/menu.m: Adapt to page_screen_output as a function. + 2007-04-11 John W. Eaton * miscellaneous/not.m: Delete. diff -r 260a54f29e9a -r a07846d734db scripts/miscellaneous/menu.m --- a/scripts/miscellaneous/menu.m Wed Apr 11 21:29:32 2007 +0000 +++ b/scripts/miscellaneous/menu.m Thu Apr 12 15:26:38 2007 +0000 @@ -43,11 +43,11 @@ ## Don't send the menu through the pager since doing that can cause ## major confusion. - save_page_screen_output = page_screen_output; + save_page_screen_output = page_screen_output (); unwind_protect - page_screen_output = 0; + page_screen_output (0); if (! isempty (t)) disp (t); @@ -73,7 +73,7 @@ unwind_protect_cleanup - page_screen_output = save_page_screen_output; + page_screen_output (save_page_screen_output); end_unwind_protect