Lines Matching refs:margin
649 * A border which is like a Margin border but it will only honor the margin
650 * if the margin has been explicitly set by the developer.
658 super(3,3,3,3); // hardcoded margin for JLF requirements.
662 Insets margin = null;
665 margin = ((AbstractButton)c).getMargin();
667 if (margin == null || margin instanceof UIResource) {
668 // default margin so replace
675 insets.left = margin.left;
676 insets.top = margin.top;
677 insets.right = margin.right;
678 insets.bottom = margin.bottom;
753 Insets margin = ((JToolBar) c).getMargin();
755 if ( margin != null ) {
756 newInsets.left += margin.left;
757 newInsets.top += margin.top;
758 newInsets.right += margin.right;
759 newInsets.bottom += margin.bottom;