Lines Matching defs:margin
98 private Insets margin = null;
253 * Sets the margin between the tool bar's border and
256 * object uses this value to create the proper margin.
259 * appropriate margin space (otherwise this property will
266 * description: The margin between the tool bar's border and contents
272 Insets old = margin;
273 margin = m;
274 firePropertyChange("margin", old, m);
280 * Returns the margin between the tool bar's border and
283 * @return an <code>Insets</code> object containing the margin values
288 if(margin == null) {
291 return margin;
730 String marginString = (margin != null ?
731 margin.toString() : "");
739 ",margin=" + marginString +