simplify by using StringList

This commit is contained in:
Ben Fry
2016-08-28 14:40:26 -04:00
parent 02e1b5835d
commit 5f4a7df7cf

View File

@@ -74,6 +74,7 @@ import processing.app.Messages;
import processing.app.Platform;
import processing.app.Preferences;
import processing.app.Util;
import processing.data.StringList;
/**
@@ -815,13 +816,12 @@ public class Toolkit {
static public String[] getMonoFontFamilies() {
Set<String> families = new HashSet<>();
StringList families = new StringList();
for (Font font : getMonoFontList()) {
families.add(font.getFamily());
families.appendUnique(font.getFamily());
}
String[] names = families.toArray(new String[0]);
Arrays.sort(names);
return names;
families.sort();
return families.array();
}