(Graphics g, int filled, String text)
| 73 | } |
| 74 | |
| 75 | public void draw(Graphics g, int filled, String text) { |
| 76 | g.setColor(ColorTheme.getColor(ColorTheme.PGS_REMAINED)); |
| 77 | g.fillRect(x, y, width, height); |
| 78 | //#ifdef GRADIENT |
| 79 | if (topColor!=bottomColor) { |
| 80 | gr.paintWidth(g, x+filled); |
| 81 | } else { |
| 82 | //#endif |
| 83 | |
| 84 | g.setColor(topColor); |
| 85 | g.fillRect(x, y+1, filled, height - 1); |
| 86 | |
| 87 | //#ifdef GRADIENT |
| 88 | } |
| 89 | //#endif |
| 90 | |
| 91 | g.setColor(ColorTheme.getColor(ColorTheme.PGS_INK)); |
| 92 | g.setFont(font); |
| 93 | FontCache.drawString(g,text, x+(width/2), y + (height - font.getHeight())/2, Graphics.TOP|Graphics.HCENTER); |
| 94 | g.drawRect(x, y, width-1, height-1); |
| 95 | //g.drawLine(x,y,width,y); |
| 96 | g.drawLine(x+filled,y+1,x+filled,y+height-1); |
| 97 | } |
| 98 | |
| 99 | public int getHeight() { |
| 100 | return height; |
no test coverage detected