From 17389ed858e851712e9301ac7afc8dcb04300c7c Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Thu, 8 Jul 2021 06:25:04 -0400
Subject: [PATCH] sort keys when saving Settings files (i.e. theme.txt)

---
 app/src/processing/app/Settings.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/app/src/processing/app/Settings.java b/app/src/processing/app/Settings.java
index e30592361..67f762b96 100644
--- a/app/src/processing/app/Settings.java
+++ b/app/src/processing/app/Settings.java
@@ -113,7 +113,10 @@ public class Settings {
   public void save(File outputFile) {
     PrintWriter writer = PApplet.createWriter(outputFile);
 
-    for (String key : table.keySet()) {
+    String[] keyList = table.keySet().toArray(new String[0]);
+    // Sorting is really helpful for debugging, diffing, and finding keys
+    keyList = PApplet.sort(keyList);
+    for (String key : keyList) {
       writer.println(key + "=" + table.get(key));
     }
 
@@ -162,6 +165,7 @@ public class Settings {
   }
 
 
+  @SuppressWarnings("unused")
   public void setInteger(String key, int value) {
     set(key, String.valueOf(value));
   }