private void drag_leave ( int  widget, int  context, int time){
void drag_leave ( int  widget, int  context, int time){
private void drag_leave ( int /*long*/ widget, int /*long*/ context, int time){	updateDragOverHover(0, null);	effect.show(DND.FEEDBACK_NONE, 0, 0);		if (keyOperation == -1) return;	keyOperation = -1;		DNDEvent event = new DNDEvent();	event.widget = this;	event.time = time;	event.detail = DND.DROP_NONE;	notifyListeners(DND.DragLeave, event);}