diff --git a/app/src/processing/app/ui/Toolkit.java b/app/src/processing/app/ui/Toolkit.java index 408e2886d..3e53009e0 100644 --- a/app/src/processing/app/ui/Toolkit.java +++ b/app/src/processing/app/ui/Toolkit.java @@ -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 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(); }