/src/main/java/org/htmlunit/html/DomElement.java
event = new MouseEvent( getEventTargetElement( ) , MouseEvent.TYPE_CLICK, shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT) ;event = new MouseEvent( this, MouseEvent.TYPE_DBL_CLICK, shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT) ;
event = new MouseEvent ( this, MouseEvent.TYPE_DBL_CLICK, shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT ) ;
final WebClient webClient = getPage().getWebClient(); if (webClient.getBrowserVersion().hasFeature(EVENT_ONDOUBLECLICK_USES_POINTEREVENT)) { event = new PointerEvent(this, MouseEvent.TYPE_DBL_CLICK, shiftKey, ctrlKey, altKey, MouseEvent.BUTTON_LEFT, 0); } else { <extra_id_0> } final ScriptResult scriptResult = fireEvent(event); if (scriptResult == null) { return clickPage; } return (P) webClient.getCurrentWindow().getEnclosedPage();