comparison configure.in @ 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 f074fb9f8e83
children a9ada5749a17
comparison
equal deleted inserted replaced
12021:a0a920f1fad4 12022:497ad07c31c2