comparison config.sub @ 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 0ef485e86493
children 609a89786c5a
comparison
equal deleted inserted replaced
12021:a0a920f1fad4 12022:497ad07c31c2