(Graphics g, int x, int y, int width, int height)
| 46 | } |
| 47 | |
| 48 | void fill3DRect(Graphics g, int x, int y, int width, int height) { |
| 49 | g.setColor(fillColor); |
| 50 | g.fillRect(x + 1, y + 1, width - 2, height - 2); |
| 51 | g.setColor(frameDarker); |
| 52 | g.drawLine(x, y, x, y + height); |
| 53 | g.drawLine(x + 1, y, x + width - 1, y); |
| 54 | g.setColor(frameBrighter); |
| 55 | g.drawLine(x + 1, y + height, x + width, y + height); |
| 56 | g.drawLine(x + width, y, x + width, y + height - 1); |
| 57 | } |
| 58 | |
| 59 | /** |
| 60 | * Updates the progress bar, where abs(progress) should run from 0 to 1. |