()
| 985 | |
| 986 | |
| 987 | static public String[] getMonoFontFamilies() { |
| 988 | StringList families = new StringList(); |
| 989 | for (Font font : getMonoFontList()) { |
| 990 | families.appendUnique(font.getFamily()); |
| 991 | } |
| 992 | families.sort(); |
| 993 | return families.array(); |
| 994 | } |
| 995 | |
| 996 | |
| 997 | static Font monoFont; |
no test coverage detected