(Graphics g)
| 225 | } |
| 226 | |
| 227 | public void init(Graphics g) { |
| 228 | boldFont = Font.getFont(Font.FACE_SYSTEM, Font.STYLE_BOLD, Font.SIZE_SMALL); |
| 229 | boldHeight = boldFont.getHeight(); |
| 230 | |
| 231 | //normalFont = Font.getFont(Font.FACE_SYSTEM, Font.STYLE_PLAIN, Font.SIZE_SMALL); |
| 232 | |
| 233 | initiated = true; |
| 234 | } |
| 235 | |
| 236 | /* Pointer events */ |
| 237 |