72 |
super.propertyChange(e); |
super.propertyChange(e); |
73 |
if (e.getPropertyName().equals( |
if (e.getPropertyName().equals( |
74 |
AbstractButton.ROLLOVER_ENABLED_CHANGED_PROPERTY)) |
AbstractButton.ROLLOVER_ENABLED_CHANGED_PROPERTY)) |
75 |
{ |
{ |
76 |
AbstractButton b = (AbstractButton) e.getSource(); |
AbstractButton b = (AbstractButton) e.getSource(); |
77 |
if (b.getBorder() instanceof UIResource) |
if (b.getBorder() instanceof UIResource) |
78 |
b.setBorder(MetalBorders.getRolloverBorder()); |
{ |
79 |
} |
if (Boolean.TRUE.equals(e.getNewValue())) |
80 |
|
b.setBorder(MetalBorders.getRolloverBorder()); |
81 |
|
else if (Boolean.FALSE.equals(e.getNewValue())) |
82 |
|
b.setBorder(MetalBorders.getButtonBorder()); |
83 |
|
} |
84 |
|
} |
85 |
} |
} |
86 |
} |
} |