()
| 74 | return middle; |
| 75 | } |
| 76 | private static Font getMiddleBoldFont() { |
| 77 | if (middleBold==null) middleBold=Font.getFont(face, bold, middleSize); |
| 78 | return middleBold; |
| 79 | } |
| 80 | |
| 81 | private static Font getBigFont() { |
| 82 | if (big==null) big=Font.getFont(face, plain, bigSize); |