Lines Matching defs:margin
90 public static final String MARGIN_CHANGED_PROPERTY = "margin";
164 private Insets margin = null;
381 * Sets space for margin between the button's border and
383 * use the default margin. The button's default <code>Border</code>
384 * object will use this value to create the proper margin.
387 * appropriate margin space (else this property will
398 // Cache the old margin if it comes from the UI
401 } else if(margin instanceof UIResource) {
402 defaultMargin = margin;
405 // If the client passes in a null insets, restore the margin
411 Insets old = margin;
412 margin = m;
421 * Returns the margin between the button's border and
424 * @return an <code>Insets</code> object specifying the margin
429 return (margin == null) ? null : (Insets) margin.clone();
2298 ",margin=" + margin +