1 |
/* DimensionUIResource.java |
/* DimensionUIResource.java |
2 |
Copyright (C) 2002 Free Software Foundation, Inc. |
Copyright (C) 2003 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
37 |
|
|
38 |
|
|
39 |
package javax.swing.plaf; |
package javax.swing.plaf; |
40 |
|
|
41 |
import java.awt.Dimension; |
import java.awt.Dimension; |
42 |
|
|
43 |
/** |
/** |
44 |
* STUBBED |
* A Dimension that is marked as <code>UIResource</code>, which |
45 |
|
* indicates that it has been installed by a pluggable |
46 |
|
* LookAndFeel. Such dimensions are replaced when the LookAndFeel |
47 |
|
* changes. |
48 |
|
* |
49 |
|
* @see java.awt.Dimension |
50 |
|
* |
51 |
|
* @author Andrew Selkirk (aselkirk@sympatico.ca) |
52 |
|
* @author Sascha Brawer (brawer@dandelis.ch) |
53 |
*/ |
*/ |
54 |
public class DimensionUIResource extends Dimension implements UIResource |
public class DimensionUIResource |
55 |
|
extends Dimension |
56 |
|
implements UIResource |
57 |
{ |
{ |
58 |
public DimensionUIResource(int w, int h) |
/** |
59 |
|
* Constructs a new DimensionUIResource, given its width and height. |
60 |
|
* |
61 |
|
* @param width the width in pixels. |
62 |
|
* @param height the height in pixels. |
63 |
|
*/ |
64 |
|
public DimensionUIResource(int width, int height) |
65 |
{ |
{ |
66 |
super(w, h); |
super(width, height); |
67 |
} |
} |
68 |
} // class DimensionUIResource |
} |