comparison config.bat @ 11435:efaaecd960ae

(update_one_menu_entry, make_menu_in_widget): Specify more useful names in XmCreatePulldownMenu calls.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Apr 1995 03:51:10 +0000
parents 9eae919f9a23
children 09c2ad9213dd
comparison
equal deleted inserted replaced
11434:5f5dda37c82c 11435:efaaecd960ae