()
| 248 | } |
| 249 | |
| 250 | void setFont() { |
| 251 | if (font!=null) |
| 252 | textPanel.setFont(font, antialiasedButton.getState()); |
| 253 | else { |
| 254 | textPanel.setFont(new Font(getFontName(), Font.PLAIN, sizes[fontSize]), antialiasedButton.getState()); |
| 255 | } |
| 256 | } |
| 257 | |
| 258 | private String getFontName() { |
| 259 | return monospacedButton.getState()?"Monospaced":"SansSerif"; |
no test coverage detected