diff src/.gdbinit @ 12022:497ad07c31c2

(update_menu_bar): Do update if region display has changed.
author Karl Heuer <kwzh@gnu.org>
date Tue, 30 May 1995 19:43:26 +0000
parents a28bd38b2ff3
children a3db96a54296
line wrap: on
line diff