(Graphics g, int x, int y, int width, int height, boolean raised)
| 339 | } |
| 340 | |
| 341 | private void fill3DRect(Graphics g, int x, int y, int width, int height, boolean raised) { |
| 342 | if (null==g) return; |
| 343 | if (raised) |
| 344 | g.setColor(gray); |
| 345 | else |
| 346 | g.setColor(darker); |
| 347 | g.fillRect(x+1, y+1, width-2, height-2); |
| 348 | g.setColor(raised ? brighter : evenDarker); |
| 349 | g.drawLine(x, y, x, y + height - 1); |
| 350 | g.drawLine(x + 1, y, x + width - 2, y); |
| 351 | g.setColor(raised ? evenDarker : brighter); |
| 352 | g.drawLine(x + 1, y + height - 1, x + width - 1, y + height - 1); |
| 353 | g.drawLine(x + width - 1, y, x + width - 1, y + height - 2); |
| 354 | } |
| 355 | |
| 356 | private void drawButton(Graphics g, int tool) { |
| 357 | if (g==null) return; |
no test coverage detected