/src/main/java/org/htmlunit/html/HtmlElement.java
focus( ) ; if ( page.getFocusedElement( ) != this) {final HtmlPage page = ( HtmlPage) getPage( ) ;
final HtmlPage page = ( HtmlPage ) getPage ( ) ; if ( page.getFocusedElement ( ) != this ) { focus ( ) ;
private Page type(final char c, final boolean lastType) throws IOException { if (isDisabledElementAndDisabled()) { return getPage(); } getPage().getWebClient().setCurrentWindow(getPage().getEnclosingWindow()); <extra_id_0> } final boolean isShiftNeeded = KeyboardEvent.isShiftNeeded(c, shiftPressed_); final Event shiftDown; final ScriptResult shiftDownResult; if (isShiftNeeded) { shiftDown = new KeyboardEvent(this, Event.TYPE_KEY_DOWN, KeyboardEvent.DOM_VK_SHIFT,