Skip the synthetic fonts (Dialog, DialogInput, Serif, SansSerif, and Monospaced). Also skipping those starting . or # because they're not intended for use, and creating files starting with a dot is likely to confuse (newer) users when they're invisible.
(String family)
| 227 | * likely to confuse (newer) users when they're invisible. |
| 228 | */ |
| 229 | static private boolean skipFontFamily(String family) { |
| 230 | return (family.charAt(0) == '.' || family.charAt(0) == '#' || |
| 231 | Font.DIALOG.equals(family) || Font.DIALOG_INPUT.equals(family) || |
| 232 | Font.SERIF.equals(family) || Font.SANS_SERIF.equals(family) || |
| 233 | Font.MONOSPACED.equals(family)); |
| 234 | } |
| 235 | |
| 236 | |
| 237 | public void run() { |