/** Creates an html element for displaying keyboard key. */ private SpanElement createKeyLabel() { SpanElement element = createSpanElement(); element.getStyle().setFontWeight("bold"); element.getStyle().setPadding("0 4px 1px 4px"); element.getStyle().setMargin("0 3px"); element.getStyle().setBorderWidth("1px"); element.getStyle().setBorderStyle("solid"); element.getStyle().setProperty("border-radius", "3px"); return element; }
private SpanElement getHotKey(Action action) { final SpanElement spanElement = Elements.createSpanElement(); spanElement.getStyle().setMarginLeft("5px"); spanElement.getStyle().setColor("#aaaaaa"); final String actionId = actionManagerProvider.get().getId(action); final CharCodeWithModifiers keyBinding = keyBindingAgentProvider.get().getKeyBinding(actionId); final String hotKey = KeyMapUtil.getShortcutText(keyBinding); if (hotKey != null) { spanElement.setInnerText("[" + hotKey + "]"); } return spanElement; } }
private void setTooltip(String newTooltipText, @Nullable CharCodeWithModifiers keyBinding) { if (newTooltipText.equals(tooltipText)) { return; } tooltipText = newTooltipText; if (tooltip != null) { tooltip.destroy(); } final DivElement divElement = Elements.createDivElement(); divElement.setInnerText(newTooltipText); if (keyBinding != null) { final String hotKey = getShortcutText(keyBinding); if (hotKey != null) { SpanElement spanElement = Elements.createSpanElement(); spanElement.getStyle().setMarginLeft("5px"); spanElement.getStyle().setColor("#aaaaaa"); spanElement.setInnerText("[" + hotKey + "]"); divElement.appendChild(spanElement); } } tooltip = Tooltip.create((Element) getElement(), BOTTOM, MIDDLE, divElement); }
private void initHintLabel() { final SpanElement upKeyLabel = createKeyLabel(); upKeyLabel.setInnerHTML(FontAwesome.ARROW_UP); final SpanElement downKeyLabel = createKeyLabel(); downKeyLabel.setInnerHTML(FontAwesome.ARROW_DOWN); final SpanElement enterKeyLabel = createKeyLabel(); enterKeyLabel.getStyle().setPadding("0px 1px 1px 4px"); enterKeyLabel.setInnerText(" Enter "); final DivElement hintElement = createDivElement(); hintElement.appendChild(upKeyLabel); hintElement.appendChild(downKeyLabel); hintElement.appendChild(createTextNode(" to select and ")); hintElement.appendChild(enterKeyLabel); hintElement.appendChild(createTextNode(" to execute")); hintLabel.getElement().appendChild((Element) hintElement); }