()
| 79 | } |
| 80 | |
| 81 | private static Font getBigFont() { |
| 82 | if (big==null) big=Font.getFont(face, plain, bigSize); |
| 83 | return big; |
| 84 | } |
| 85 | private static Font getBigBoldFont() { |
| 86 | if (bigBold==null) bigBold=Font.getFont(face, bold, bigSize); |
| 87 | return bigBold; |