From f47165db644e432a9b7456102c6ad0f34fbf7b11 Mon Sep 17 00:00:00 2001 From: Sandeep Mistry Date: Tue, 12 Apr 2016 10:15:01 -0400 Subject: [PATCH] Do not save build_properties_custom.* preferences to disk --- arduino-core/src/processing/app/PreferencesData.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-core/src/processing/app/PreferencesData.java b/arduino-core/src/processing/app/PreferencesData.java index 6757e7e6e49..0517d96cea4 100644 --- a/arduino-core/src/processing/app/PreferencesData.java +++ b/arduino-core/src/processing/app/PreferencesData.java @@ -120,7 +120,7 @@ static protected void save() { String[] keys = prefs.keySet().toArray(new String[0]); Arrays.sort(keys); for (String key : keys) { - if (key.startsWith("runtime.")) + if (key.startsWith("runtime.") || key.startsWith("build_properties_custom.")) continue; writer.println(key + "=" + prefs.get(key)); }