56 |
/** |
/** |
57 |
* A UI delegate for the {@link JSlider} component. |
* A UI delegate for the {@link JSlider} component. |
58 |
*/ |
*/ |
59 |
public class MetalSliderUI |
public class MetalSliderUI extends BasicSliderUI |
|
extends BasicSliderUI |
|
60 |
{ |
{ |
61 |
/** |
/** |
62 |
* A property change handler that updates the rendered component in response |
* A property change handler that updates the rendered component in response |
65 |
* the {@link MetalLookAndFeel}. |
* the {@link MetalLookAndFeel}. |
66 |
*/ |
*/ |
67 |
protected class MetalPropertyListener |
protected class MetalPropertyListener |
68 |
extends BasicSliderUI.PropertyChangeHandler |
extends BasicSliderUI.PropertyChangeHandler |
69 |
{ |
{ |
70 |
/** |
/** |
71 |
* Creates a new listener. |
* Creates a new listener. |
72 |
*/ |
*/ |
73 |
protected MetalPropertyListener() |
protected MetalPropertyListener() |
74 |
{ |
{ |
75 |
|
// Nothing to do here. |
76 |
} |
} |
77 |
|
|
78 |
/** |
/** |