diff src/.gdbinit @ 13082:909b5a8414ee

(safe_run_hooks): No longer static. (read_char_x_menu_prompt): When unreading events generated by a menu, turn symbols and integers into lists, for the sake of last_nonmenu_event and thus y-or-n-p.
author Richard M. Stallman <rms@gnu.org>
date Mon, 25 Sep 1995 18:44:59 +0000
parents 6882fe187fa9
children 4c60f92bdaa6
line wrap: on
line diff