/src/main/java/org/htmlunit/html/HtmlElement.java
altPressed_ = mappedElement;
altPressed_ = pressed;
shiftPressed_ = pressed; break; case KeyboardEvent.DOM_VK_CONTROL: ctrlPressed_ = pressed; break; case KeyboardEvent.DOM_VK_ALT: <extra_id_0> break; default: } if (pressed) { boolean keyPress = true; boolean keyUp = true;