()
| 1049 | |
| 1050 | |
| 1051 | static public String getSansFontName() { |
| 1052 | if (sansFont == null) { |
| 1053 | // create a dummy version if the font has never been loaded (rare) |
| 1054 | getSansFont(12, Font.PLAIN); |
| 1055 | } |
| 1056 | return sansFont.getName(); |
| 1057 | } |
| 1058 | |
| 1059 | |
| 1060 | static public Font getSansFont(int size, int style) { |
no test coverage detected