arduino
diff --git a/‎app/src/processing/app/Preferences.java
Copy file name to clipboardExpand all lines: app/src/processing/app/Preferences.java
+3-3Lines changed: 3 additions & 3 deletions b/‎app/src/processing/app/Preferences.java
Copy file name to clipboardExpand all lines: app/src/processing/app/Preferences.java
+3-3Lines changed: 3 additions & 3 deletions
@@ -744,9 +744,9 @@ static protected void save() {
     // Fix for 0163 to properly use Unicode when writing preferences.txt
     PrintWriter writer = PApplet.createWriter(preferencesFile);
 
-    Enumeration e = table.keys(); //properties.propertyNames();
-    while (e.hasMoreElements()) {
-      String key = (String) e.nextElement();
+    String[] keys = (String[])table.keySet().toArray(new String[0]);
+    Arrays.sort(keys);
+    for (String key: keys) {
       if (key.startsWith("runtime."))
         continue;
       writer.println(key + "=" + ((String) table.get(key)));