@Override public void execute() { final Element p = getElement(); if (p.getPropertyInt(domProperty) > MIN_SIZE + 5 || propertyNotNullOrEmpty(styleAttribute, p)) { if (isVertical()) { setHeight(); } else { base.getStyle().clearProperty(styleAttribute); } // Ensure correct position setValue(value, false); } }
public VSliderPatched() { super(); base = DOM.createDiv(); handle = DOM.createDiv(); smaller = DOM.createDiv(); bigger = DOM.createDiv(); setStyleName(CLASSNAME); getElement().appendChild(bigger); getElement().appendChild(smaller); getElement().appendChild(base); base.appendChild(handle); // Hide initially smaller.getStyle().setDisplay(Display.NONE); bigger.getStyle().setDisplay(Display.NONE); sinkEvents(Event.MOUSEEVENTS | Event.ONMOUSEWHEEL | Event.KEYEVENTS | Event.FOCUSEVENTS | Event.TOUCHEVENTS); }
private void setHeight() { // Calculate decoration size base.getStyle().setHeight(0, Unit.PX); base.getStyle().setOverflow(Overflow.HIDDEN); int h = getElement().getOffsetHeight(); if (h < MIN_SIZE) { h = MIN_SIZE; } base.getStyle().setHeight(h, Unit.PX); base.getStyle().clearOverflow(); }
handle.addClassName(getStylePrimaryName() + "-handle-active"); DOM.setCapture(getElement()); dragging = false; handle.setClassName(getStylePrimaryName() + "-handle"); DOM.releaseCapture(getElement()); setValueByEvent(event, true); event.stopPropagation();
final Element slider = getElement(); DOM.eventCancelBubble(event, true); } else if (targ.equals(getElement()) && DOM.eventGetType(event) == Event.ONFOCUS) { } else if (targ.equals(getElement()) && DOM.eventGetType(event) == Event.ONBLUR) { } else if (DOM.eventGetType(event) == Event.ONMOUSEDOWN) {
if (getElement().hasParentElement()) { final Element p = getElement(); if (p.getPropertyInt(domProperty) > MIN_SIZE) { if (isVertical()) {