diff src/keyboard.h @ 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 37cb8613ee69
children bd5ac643a900
line wrap: on
line diff