77 |
* @param width the width of the available area for painting the border. |
* @param width the width of the available area for painting the border. |
78 |
* @param height the height of the available area for painting the border. |
* @param height the height of the available area for painting the border. |
79 |
*/ |
*/ |
80 |
void paintBorder(Component c, Graphics g, |
void paintBorder(Component c, Graphics g, int x, int y, int width, |
81 |
int x, int y, int width, int height); |
int height); |
|
|
|
82 |
|
|
83 |
/** |
/** |
84 |
* Measures the width of this border. |
* Measures the width of this border. |
91 |
*/ |
*/ |
92 |
Insets getBorderInsets(Component c); |
Insets getBorderInsets(Component c); |
93 |
|
|
|
|
|
94 |
/** |
/** |
95 |
* Determines whether this border fills every pixel in its area |
* Determines whether this border fills every pixel in its area |
96 |
* when painting. |
* when painting. |