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);