()
| 70 | } |
| 71 | |
| 72 | private static Font getMiddleFont() { |
| 73 | if (middle==null) middle=Font.getFont(face, plain, middleSize); |
| 74 | return middle; |
| 75 | } |
| 76 | private static Font getMiddleBoldFont() { |
| 77 | if (middleBold==null) middleBold=Font.getFont(face, bold, middleSize); |
| 78 | return middleBold; |