void HandleSelectEnd(w, event, params, num_params) Widget w; XEvent *event;			 String *params;			 Cardinal *num_params;
void HandleSelectEnd( Widget w, XEvent *event,		 String *params,		 Cardinal *num_params)
void HandleSelectEnd(w, event, params, num_params)Widget w;XEvent *event;			/* must be XButtonEvent */String *params;			/* selections */Cardinal *num_params;{	do_select_end (w, event, params, num_params, False);}