_XMRefreshPane    354 oldXMenu/Activate.c 	    _XMRefreshPane(display, menu, event_xmp);
_XMRefreshPane    426 oldXMenu/Activate.c 		    _XMRefreshPane(display, menu, cur_p);
_XMRefreshPane    441 oldXMenu/Activate.c 		_XMRefreshPane(display, menu, event_xmp);
_XMRefreshPane     81 oldXMenu/XMenuInt.h void _XMRefreshPane(Display *display, XMenu *menu, XMPane *pane);