if (UserAgent.isFirefox()) { documentElement.addEventListener(Event.KEYPRESS, downListener, true); } else { documentElement.addEventListener(Event.KEYDOWN, downListener, true);
@Override public Element createItem(final SymbolInformation itemModel) { final Element element = Elements.createLiElement(popupResources.popupStyle().item()); final Element iconElement = Elements.createDivElement(popupResources.popupStyle().icon()); SVGImage svgImage = getSvgImage(itemModel.getKind()); iconElement.appendChild((Node) svgImage.getElement()); element.appendChild(iconElement); element.appendChild(createTitleOfElement(itemModel)); final EventListener validateListener = evt -> { openImplementationPresenter.openOneImplementation(itemModel); hide(); }; element.addEventListener(Event.DBLCLICK, validateListener, false); element.addEventListener(CUSTOM_EVT_TYPE_VALIDATE, validateListener, false); return element; }
newGroup .getElement() .addEventListener( Event.MOUSEOVER, new EventListener() {
element.addEventListener(Event.DBLCLICK, validateListener, false); element.addEventListener(CUSTOM_EVT_TYPE_VALIDATE, validateListener, false);
private Node renderAction(String title, final Action action) { final Presentation presentation = presentationFactory.getPresentation(action); Element divElement = Elements.createDivElement(style.listElement()); divElement.addEventListener( "click", new EventListener() { @Override public void handleEvent(Event evt) { ActionEvent event = new ActionEvent(presentation, actionManager); action.actionPerformed(event); } }, true); divElement.getStyle().setCursor("pointer"); divElement.getStyle().setColor(Style.getOutputLinkColor()); Element label = Elements.createDivElement(style.actionLabel()); label.setInnerText(title); divElement.appendChild(label); String hotKey = KeyMapUtil.getShortcutText(keyBindingAgent.getKeyBinding(actionManager.getId(action))); if (hotKey == null) { hotKey = " "; } else { hotKey = "<nobr> " + hotKey + " </nobr>"; } SpanElement hotKeyElement = Elements.createSpanElement(style.hotKey()); hotKeyElement.setInnerHTML(hotKey); divElement.appendChild(hotKeyElement); return divElement; }
listElement.addEventListener(Event.KEYDOWN, keyboardListener, false);