1162 |
* This is a helper class that implements UIResource so it is not added as a |
* This is a helper class that implements UIResource so it is not added as a |
1163 |
* tab when an object of this class is added to the JTabbedPane. |
* tab when an object of this class is added to the JTabbedPane. |
1164 |
*/ |
*/ |
1165 |
private static class ScrollingButton extends BasicArrowButton |
private class ScrollingButton extends BasicArrowButton implements UIResource |
|
implements UIResource |
|
1166 |
{ |
{ |
1167 |
/** |
/** |
1168 |
* Creates a ScrollingButton given the direction. |
* Creates a ScrollingButton given the direction. |