/src/main/java/org/htmlunit/html/DomElement.java
return doMouseEvent( MouseEvent.TYPE_MOUSE_DOWN, shiftKey, ctrlKey, altKey) ;
return doMouseEvent ( MouseEvent.TYPE_MOUSE_DOWN, shiftKey, ctrlKey, altKey, button ) ;
return doMouseEvent(MouseEvent.TYPE_MOUSE_OUT, shiftKey, ctrlKey, altKey, button); } public Page mouseDown() { return mouseDown(false, false, false, MouseEvent.BUTTON_LEFT); } public Page mouseDown(final boolean shiftKey, final boolean ctrlKey, final boolean altKey, final int button) { <extra_id_0> } public Page mouseUp() { return mouseUp(false, false, false, MouseEvent.BUTTON_LEFT); } public Page mouseUp(final boolean shiftKey, final boolean ctrlKey, final boolean altKey, final int button) { return doMouseEvent(MouseEvent.TYPE_MOUSE_UP, shiftKey, ctrlKey, altKey, button);