comparison GETTING.GNU.SOFTWARE @ 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 87bd6540514f
children 6fcc2c9a1857
comparison
equal deleted inserted replaced
12021:a0a920f1fad4 12022:497ad07c31c2