_XMRefreshSelection  390 oldXMenu/Activate.c 		    _XMRefreshSelection(display, menu, cur_s);
_XMRefreshSelection  464 oldXMenu/Activate.c 		_XMRefreshSelection(display, menu, cur_s);
_XMRefreshSelection  935 oldXMenu/Internal.c 		_XMRefreshSelection(display, menu, s_ptr);
_XMRefreshSelection   82 oldXMenu/XMenuInt.h void _XMRefreshSelection(Display *display, XMenu *menu, XMSelect *select);