[cp-patches] FYI: Button fix

[Roman Kennke]

The button layout stuff must not care about the insets and margin of the
border at the same time, since the margin is already in the insets
through the MarginBorder. Fixed with the attached patch.

2005-04-19  Roman Kennke  <address@hidden>

        * javax/swing/plaf/basic/BasicButtonUI.java
        (paint): This should not care about margin and insets
        at the same time, as insets already include the margin
        through the border.
        * javax/swing/plaf/basic/BasicGraphicsUtils.java
        (getPreferredButtonSize): Likewise.
        * javax/swing/plaf/metal/MetalBorders.java
        (getBorderInsets): Likewise.

/Roman

Button-margin.diff
Description: Text Data