114 |
LayoutManager |
LayoutManager |
115 |
{ |
{ |
116 |
/** |
/** |
117 |
|
* For compatability with Sun's JDK 1.4.2 rev. 5 |
118 |
|
*/ |
119 |
|
private static final long serialVersionUID = -5317788736173368172L; |
120 |
|
|
121 |
|
/** |
122 |
* Creates a new DefaultEditor object. |
* Creates a new DefaultEditor object. |
123 |
* |
* |
124 |
* @param spinner DOCUMENT ME! |
* @param spinner DOCUMENT ME! |
220 |
public static class NumberEditor extends DefaultEditor |
public static class NumberEditor extends DefaultEditor |
221 |
{ |
{ |
222 |
/** |
/** |
223 |
|
* For compatability with Sun's JDK |
224 |
|
*/ |
225 |
|
private static final long serialVersionUID = 3791956183098282942L; |
226 |
|
|
227 |
|
/** |
228 |
* Creates a new NumberEditor object. |
* Creates a new NumberEditor object. |
229 |
* |
* |
230 |
* @param spinner DOCUMENT ME! |
* @param spinner DOCUMENT ME! |