src/java.desktop/share/classes/javax/swing/plaf/BorderUIResource.java

Print this page

        

*** 158,178 **** * An empty border UI resource. */ public static class EmptyBorderUIResource extends EmptyBorder implements UIResource { /** ! * Constructs a {@code EmptyBorderUIResource}. * @param top the top inset of the border * @param left the left inset of the border * @param bottom the bottom inset of the border * @param right the right inset of the border */ public EmptyBorderUIResource(int top, int left, int bottom, int right) { super(top, left, bottom, right); } /** ! * Constructs a {@code EmptyBorderUIResource}. * @param insets the insets of the border */ @ConstructorProperties({"borderInsets"}) public EmptyBorderUIResource(Insets insets) { super(insets); --- 158,178 ---- * An empty border UI resource. */ public static class EmptyBorderUIResource extends EmptyBorder implements UIResource { /** ! * Constructs an {@code EmptyBorderUIResource}. * @param top the top inset of the border * @param left the left inset of the border * @param bottom the bottom inset of the border * @param right the right inset of the border */ public EmptyBorderUIResource(int top, int left, int bottom, int right) { super(top, left, bottom, right); } /** ! * Constructs an {@code EmptyBorderUIResource}. * @param insets the insets of the border */ @ConstructorProperties({"borderInsets"}) public EmptyBorderUIResource(Insets insets) { super(insets);