equal
deleted
inserted
replaced
219 width += prefInsets.left + prefInsets.right; |
219 width += prefInsets.left + prefInsets.right; |
220 height += prefInsets.top + prefInsets.bottom; |
220 height += prefInsets.top + prefInsets.bottom; |
221 return new Dimension(width, height); |
221 return new Dimension(width, height); |
222 } |
222 } |
223 |
223 |
224 public static abstract class LabeledButtonBorder extends AquaButtonBorder { |
224 public abstract static class LabeledButtonBorder extends AquaButtonBorder { |
225 public LabeledButtonBorder(final SizeDescriptor sizeDescriptor) { |
225 public LabeledButtonBorder(final SizeDescriptor sizeDescriptor) { |
226 super(sizeDescriptor); |
226 super(sizeDescriptor); |
227 } |
227 } |
228 |
228 |
229 public LabeledButtonBorder(final LabeledButtonBorder other) { |
229 public LabeledButtonBorder(final LabeledButtonBorder other) { |