Lines Matching defs:width
127 int width, int height) {
129 g.drawLine(x,y, width-1,y); // draw top
132 g.drawLine(x,height-1, width-1,height-1); // draw bottom
133 g.drawLine(width-1,y, width-1,height-1); // draw right
157 int width, int height) {
167 xpBorder.paintBorder(c, g, 0, 0, width, height);
180 dw = width - 1;
185 dx = c.getComponentOrientation().isLeftToRight() ? 2 : (width-dw-2);
203 g.drawLine(width - 3, 3, width - 3, height - 4);
204 g.drawLine(width - 4, height - 4, width - 4, height - 4);
207 g.drawLine(width - 5, 3, width - 4, 3);
208 g.drawLine(width - 5, 3, width - 5, height - 5);
212 g.drawLine(3, 4, width - 4, 4);
213 g.drawLine(width - 4, 2, width - 4, 4);
216 g.drawLine(3, 2, width - 4, 2);
259 public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
265 BasicGraphicsUtils.drawDashedRect(g, x+i, y+i, width-i-i, height-i-i);
283 public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
292 BasicGraphicsUtils.drawDashedRect(g, x, y, width, height);
314 int width, int height) {
329 super.paintBorder(c, g, x, y, width, height);
332 super.paintBorder(c, g, x, y, width, height);