protected static DivElement createRuler(Unit widthUnit, Unit heightUnit) { DivElement ruler = Document.get().createDivElement(); ruler.setInnerHTML(" "); Style style = ruler.getStyle(); style.setPosition(Position.ABSOLUTE); style.setZIndex(-32767); // Position the ruler off the top edge, double the size just to be // extra sure it doesn't show up on the screen. style.setTop(-20, heightUnit); // Note that we are making the ruler element 10x10, because some browsers // generate non-integral ratios (e.g., 1em == 13.3px), so we need a little // extra precision. style.setWidth(10, widthUnit); style.setHeight(10, heightUnit); style.setVisibility(Visibility.HIDDEN); State.HIDDEN.set(ruler, true); return ruler; }
public Element attachChild(Element parent, Element child, Element before) { DivElement container = Document.get().createDivElement(); container.appendChild(child); container.getStyle().setPosition(Position.ABSOLUTE); container.getStyle().setOverflow(Overflow.HIDDEN); fillParent(child); Element beforeContainer = null; if (before != null) { beforeContainer = before.getParentElement(); assert beforeContainer.getParentElement() == parent : "Element to insert before must be a sibling"; } parent.insertBefore(container, beforeContainer); return container; }
/** * The default implementation will display, but not consume, received errors * whose {@link EditorError#getEditor() getEditor()} method returns the Editor * passed into {@link #setEditor}. * * @param errors a List of {@link EditorError} instances */ public void showErrors(List<EditorError> errors) { StringBuilder sb = new StringBuilder(); for (EditorError error : errors) { if (error.getEditor().equals(editor)) { sb.append("\n").append(error.getMessage()); } } if (sb.length() == 0) { errorLabel.setInnerText(""); errorLabel.getStyle().setDisplay(Display.NONE); return; } errorLabel.setInnerText(sb.substring(1)); errorLabel.getStyle().setDisplay(Display.INLINE_BLOCK); } }
private void showImpl() { borderElement.getStyle().setDisplay(Display.BLOCK); borderElement.getStyle().setWidth(notificationText.getOffsetWidth(), Unit.PX); animation.animateMole(0, heightMeasure.getOffsetHeight(), animationDuration); } }
/** * Tunes bottom splitter. Makes it tiny but with a transparent area for easy resizing. * * @param el element to tune */ private void tuneBottomSplitter(Element el) { /** Add Z-Index to move the splitter on the top and make content visible */ el.getParentElement().getStyle().setProperty("zIndex", "1000"); el.getParentElement().getStyle().setProperty("overflow", "visible"); el.getStyle().setProperty("height", "4px"); el.getStyle().setProperty("marginTop", "-2px"); el.getStyle().setProperty("backgroundColor", "transparent"); /** Add small border */ DivElement delimiter = Document.get().createDivElement(); delimiter.getStyle().setProperty("position", "absolute"); delimiter.getStyle().setProperty("width", "100%"); delimiter.getStyle().setProperty("height", "1px"); delimiter.getStyle().setProperty("left", "0px"); delimiter.getStyle().setProperty("top", "2px"); delimiter.getStyle().setProperty("backgroundColor", Style.theme.tabBorderColor()); el.appendChild(delimiter); }
private void redrawMonthPicker() { this.monthPicker.getStyle().setWidth(this.calendarTable.getClientWidth(), Unit.PX); this.calendarTable.getStyle().setDisplay(Display.NONE); this.monthPicker.getStyle().clearDisplay(); int currentYear = this.cursor.getYear() + InputDatePicker.YEAR_OFFSET; if (this.monthPickerInner.getChildCount() == 0) { for (int year = currentYear - 100; year < currentYear + 100; year++) { DivElement yearDiv = Document.get().createDivElement(); yearDiv.setInnerText(String.valueOf(year)); StyleUtils.addStyle(yearDiv, InputDatePicker.STYLE_YEAR_BUTTON); Event.sinkEvents(yearDiv, Event.ONCLICK); this.monthPickerInner.appendChild(yearDiv); yearDiv.setAttribute(InputDatePicker.ATTRIBUTE_DATA_YEAR, String.valueOf(year)); } } this.openMonthOfYear(this.cursor.getYear() + InputDatePicker.YEAR_OFFSET); }
public MapWidget() { setElement(Document.get().createDivElement()); getElement().getStyle().setPosition(Position.RELATIVE); DivElement d = Document.get().createDivElement(); getElement().appendChild(d); d.getStyle().setHeight(100, Unit.PCT); setStyleName("v-leaflet"); }
public static String getEventNameForAnimationEnd() { Style style = Document.get().createDivElement().getStyle(); // Test for webkit first since both are okay for chrome but // it only supports the prefixed version if ("".equals(style.getProperty("WebkitAnimation"))) { return "webkitAnimationEnd"; } return "animationend"; }
public VPopupButton() { super(); DivElement e = Document.get().createDivElement(); e.setClassName(POPUP_INDICATOR_CLASSNAME); getElement().getFirstChildElement().appendChild(e); }
ItemWidget(MenuItem item) { this.item = item; addStyleName(resources.css().popupItem()); final Element itemLabel = Document.get().createDivElement(); itemLabel.setInnerText(item.getName()); itemLabel.getStyle().setFloat(Style.Float.LEFT); getElement().appendChild(itemLabel); if (dataProvider.isGroup(item)) { DivElement arrow = Document.get().createDivElement(); arrow.setInnerHTML(FontAwesome.PLAY); arrow.addClassName(resources.css().arrow()); getElement().appendChild(arrow); } attachEventHandlers(); }
private DivElement createItemDiv(Element[] items) { DivElement mi = Document.get().createDivElement(); mi.setClassName("list-view-pf-main-info"); mi.getStyle().setPaddingTop(5, Style.Unit.PX); mi.getStyle().setPaddingBottom(5, Style.Unit.PX); for (Element item : items) { mi.appendChild(item); } DivElement gi = Document.get().createDivElement(); gi.setClassName("list-group-item"); gi.appendChild(mi); return gi; }
private void redrawScale() { calculateBestFit(1 / mapPresenter.getViewPort().getResolution()); scaleBarElement.setInnerText(formatUnits(widthInUnits)); scaleBarElement.getStyle().setWidth(widthInPixels, Style.Unit.PX); getElement().getStyle().setWidth(widthInPixels + 10, Style.Unit.PX); }
/** * Sets memory usage value. * * @param mem memory usage * @param max max memory available */ public void setMemoryUsage(int mem, int max) { setVisible(true); int percentage = (int) ((double) mem / ((double) max / 100)); memBar.getElement().getFirstChildElement().getStyle().setProperty("height", percentage + "%"); tooltipMemBar.getStyle().setProperty("height", percentage + "%"); tooltipMemValue.setInnerText(percentage + "%"); tooltipMemDescription.setInnerText("- " + mem + " MB / " + max + " MB"); }
/** * The constructor should first call super() to initialize the component and * then handle any initialization relevant to Vaadin. */ public VSwitch() { // Change to proper element or remove if extending another widget setElement(Document.get().createDivElement()); DivElement el = Document.get().createDivElement(); el.addClassName(CLASSNAME + "-wrapper"); mainElement = Document.get().createDivElement(); // This method call of the Paintable interface sets the component // style name in DOM tree mainElement.setClassName(CLASSNAME); el.appendChild(mainElement); getElement().appendChild(el); // build the DOM slider = Document.get().createDivElement(); slider.setClassName(CLASSNAME + "-slider"); mainElement.appendChild(slider); updateVisibleState(true); // Set the initial position without animation. addHandlers(); }
@Override public void renderElement(Element element, HotKeyItem hotKeyItem) { element.setInnerText(hotKeyItem.getActionDescription()); element.addClassName(hotKeyResources.css().description()); if (hotKeyItem.isGlobal()) { element.addClassName(hotKeyResources.css().isGlobal()); } DivElement hotKeyElem = Document.get().createDivElement(); hotKeyElem.setInnerText(hotKeyItem.getHotKey()); hotKeyElem.addClassName(hotKeyResources.css().hotKey()); hotKeyElem.addClassName(hotKeyResources.css().floatRight()); element.appendChild(hotKeyElem); }
public VNavigationBar() { setElement(Document.get().createDivElement()); setStyleName(CLASSNAME); getElement().appendChild(caption); caption.setClassName(CLASSNAME + "-caption"); captionText = Document.get().createSpanElement(); caption.appendChild(captionText); rightComponentElement.setClassName(CLASSNAME + "-right"); getElement().appendChild(rightComponentElement); leftComponentElement.setClassName(CLASSNAME + "-left"); getElement().appendChild(leftComponentElement); }
@Override public void setTitle(String title) { Element titleElement = Document.get().createElement("h3"); this.container.appendChild(titleElement); StyleUtils.addStyle(titleElement, Popover.STYLE_TITLE); titleElement.setInnerText(title); }
private Element createStyledTextElement(String content, StyleConfigurator styleConfigurator) { DivElement textElement = Document.get().createDivElement(); textElement.setInnerText(nullToEmpty(content)); if (styleConfigurator != null) { styleConfigurator .getCssConfiguration() .forEach((p, v) -> textElement.getStyle().setProperty(p, v)); } return textElement; }
private void attachReferenceArrow() { if (arrowElement == null) { arrowElement = Document.get().createDivElement(); } arrowElement.getStyle().setOpacity(0); RootPanel.getBodyElement().appendChild(arrowElement); }
if (remainder > 0) { IntStream.range(0, thumbnailsInRow - remainder).forEach($ -> imageContainer.insertAfter(createThumbnailPlaceholder(size.width()), imageContainer.getLastChild())); int usH = upperSpacer.getOffsetHeight(); scroller.getElement().getStyle().setOverflowX(Style.Overflow.HIDDEN); imageContainer.getStyle().setWidth(viewportWidth, Style.Unit.PX); imageContainer.getStyle().setHeight(viewportHeight, Style.Unit.PX);