diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java index 493ca7ea6..be7c64dc0 100644 --- a/app/src/processing/app/Preferences.java +++ b/app/src/processing/app/Preferences.java @@ -744,9 +744,9 @@ public class Preferences { // 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)));