/** * Sets the window padding to top, right, bottom, and right sides. This * is useful in cases where the window has areas that the drop-down menu * should not cover - for instance a fixed header. * * @param top * @param right * @param bottom * @param left */ public void setWindowPaddingTopRightBottomLeft(final int top, final int right, final int bottom, final int left) { JsArrayNumber array = JavaScriptObject.createArray(4).cast(); array.push(top); array.push(right); array.push(bottom); array.push(left); attrMixin.setAttribute(WINDOW_PADDING, JsonUtils.stringify(array)); }
/** * Sets the window padding to top, right, bottom, and right sides. This * is useful in cases where the window has areas that the drop-down menu * should not cover - for instance a fixed header. * * @param top * @param right * @param bottom * @param left */ public void setWindowPaddingTopRightBottomLeft(final int top, final int right, final int bottom, final int left) { JsArrayNumber array = JavaScriptObject.createArray(4).cast(); array.push(top); array.push(right); array.push(bottom); array.push(left); attrMixin.setAttribute(WINDOW_PADDING, JsonUtils.stringify(array)); }
private void updateSliderForNumberArray(SliderOption option, List<Double> value) { JsArrayNumber array = JavaScriptObject.createArray().cast(); for (Double val : value) { array.push(val); } if (isAttached()) { setAttribute(getElement(), option.getName(), array); refresh(); } else { String arrayStr = JsonUtils.stringify(array); attributeMixin.setAttribute(option.getDataAttribute(), arrayStr); } }
private void updateSliderForNumberArray(SliderOption option, List<Double> value) { JsArrayNumber array = JavaScriptObject.createArray().cast(); for (Double val : value) { array.push(val); } if (isAttached()) { setAttribute(getElement(), option.getName(), array); refresh(); } else { String arrayStr = JsonUtils.stringify(array); attributeMixin.setAttribute(option.getDataAttribute(), arrayStr); } }
private void updateSliderForStringArray(SliderOption option, List<String> value) { JsArrayString array = JavaScriptObject.createArray().cast(); for (String val : value) { array.push(val); } if (isAttached()) { setAttribute(getElement(), option.getName(), array); refresh(); } else { String arrayStr = JsonUtils.stringify(array); attributeMixin.setAttribute(option.getDataAttribute(), arrayStr); } }
private void updateSliderForStringArray(SliderOption option, List<String> value) { JsArrayString array = JavaScriptObject.createArray().cast(); for (String val : value) { array.push(val); } if (isAttached()) { setAttribute(getElement(), option.getName(), array); refresh(); } else { String arrayStr = JsonUtils.stringify(array); attributeMixin.setAttribute(option.getDataAttribute(), arrayStr); } }