From 5f4a7df7cf6eff06a93d035fbd2a799e36babd40 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sun, 28 Aug 2016 14:40:26 -0400
Subject: [PATCH] simplify by using StringList

---
 app/src/processing/app/ui/Toolkit.java | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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<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();
   }