updated editable menu widget
commite958044d00d729b590c0d54dfb8d374a30dd3b34
authorkojima <kojima>
Mon, 10 Jul 2000 22:49:07 +0000 (10 22:49 +0000)
committerkojima <kojima>
Mon, 10 Jul 2000 22:49:07 +0000 (10 22:49 +0000)
tree9b9dc556a423958a79d83c2656471c23107ca1e0
parente29fce43b1234fa059045a8cd843f7a75efed62f
updated editable menu widget
WPrefs.app/editmenu.c
WPrefs.app/editmenu.h