xm_update_menu     96 lwlib/lwlib-Xm.c static void xm_update_menu (widget_instance *, Widget, widget_value *,
xm_update_menu    732 lwlib/lwlib-Xm.c     xm_update_menu (instance, menu, val, 1);
xm_update_menu    885 lwlib/lwlib-Xm.c 	xm_update_menu (instance, widget, val, deep_p);