static void do_select_end (w, event, params, num_params, use_cursor_loc) Widget w; XEvent *event;			 String *params;			 Cardinal *num_params; Bool use_cursor_loc;
static void do_select_end ( Widget w, XEvent *event,		 String *params,		 Cardinal *num_params, Bool use_cursor_loc)
static void do_select_end (w, event, params, num_params, use_cursor_loc)Widget w;XEvent *event;			/* must be XButtonEvent */String *params;			/* selections */Cardinal *num_params;Bool use_cursor_loc;{	if (!IsXtermWidget(w))		return;	((XtermWidget)w)->screen.selection_time = event->xbutton.time;	switch (eventMode) {		case NORMAL :		    (void) SendMousePosition(w, event);		    break;		case LEFTEXTENSION :		case RIGHTEXTENSION :		    EndExtend(w, event, params, *num_params, use_cursor_loc);		    break;	}}