From 1750ff0266662c9bbbbfcea7ebae9619166325a0 Mon Sep 17 00:00:00 2001
From: Shigeru KANEMOTO <sgk@switch-science.com>
Date: Sun, 17 Jun 2012 02:01:30 +0900
Subject: [PATCH] Sort keys in the preferences.txt.

---
 app/src/processing/app/Preferences.java | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
index 5576fe0d7..00a5989ed 100644
--- a/app/src/processing/app/Preferences.java
+++ b/app/src/processing/app/Preferences.java
@@ -734,11 +734,10 @@ 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)
       writer.println(key + "=" + ((String) table.get(key)));
-    }
 
     writer.flush();
     writer.close();