/** Sets the value. */ public void setValue(String value) { if (value == null) value = ""; if (!Objects.equals(_value, value)) { _value = value; smartUpdate("value", getValue()); //allow deriving to override getValue() } }
/** Sets whether to preserve the white spaces, such as space, * tab and new line. */ public void setPre(boolean pre) { if ((_auxinf != null && _auxinf.pre) != pre) { initAuxInfo().pre = pre; smartUpdate("pre", isPre()); } }
/** Sets the maximal length of the label. */ public void setMaxlength(int maxlength) { if (maxlength < 0) maxlength = 0; if ((_auxinf != null ? _auxinf.maxlength : 0) != maxlength) { initAuxInfo().maxlength = maxlength; smartUpdate("maxlength", getMaxlength()); } }
/** Sets whether to preserve the new line and the white spaces at the * beginning of each line. */ public void setMultiline(boolean multiline) { if ((_auxinf != null && _auxinf.multiline) != multiline) { initAuxInfo().multiline = multiline; smartUpdate("multiline", isMultiline()); } }