()
| 61 | |
| 62 | |
| 63 | private static Font getSmallFont() { |
| 64 | if (small==null) small=Font.getFont(face, plain, smallSize); |
| 65 | return small; |
| 66 | } |
| 67 | private static Font getSmallBoldFont() { |
| 68 | if (smallBold==null) smallBold=Font.getFont(face, bold, smallSize); |
| 69 | return smallBold; |