diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java index 1a47fd35f..90d631aa7 100644 --- a/app/src/processing/app/Preferences.java +++ b/app/src/processing/app/Preferences.java @@ -4,7 +4,7 @@ Part of the Processing project - http://processing.org Copyright (c) 2014 The Processing Foundation - + This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License version 2 as published by the Free Software Foundation. @@ -35,14 +35,14 @@ import processing.core.*; * ISO 8859-1 encoding, which is highly likely to be a problem when trying to * save sketch folders and locations. Like the rest of Processing, we use UTF8. *
- * We don't use the Java Preferences API because it would entail writing to
- * the registry (on Windows), or an obscure file location (on Mac OS X) and
- * make it far more difficult (impossible) to remove the preferences.txt to
- * reset them (when they become corrupt), or to find the the file to make
+ * We don't use the Java Preferences API because it would entail writing to
+ * the registry (on Windows), or an obscure file location (on Mac OS X) and
+ * make it far more difficult (impossible) to remove the preferences.txt to
+ * reset them (when they become corrupt), or to find the the file to make
* edits for numerous obscure preferences that are not part of the preferences
- * window. If we added a generic editor (e.g. about:config in Mozilla) for
+ * window. If we added a generic editor (e.g. about:config in Mozilla) for
* such things, we could start using the Java Preferences API. But wow, that
- * sounds like a lot of work. Not unlike writing this paragraph.
+ * sounds like a lot of work. Not unlike writing this paragraph.
*/
public class Preferences {
// had to rename the defaults file because people were editing it
@@ -63,7 +63,7 @@ public class Preferences {
* Standardized width for buttons. Mac OS X 10.3 wants 70 as its default,
* Windows XP needs 66, and my Ubuntu machine needs 80+, so 80 seems proper.
*/
- static public int BUTTON_WIDTH =
+ static public int BUTTON_WIDTH =
Integer.valueOf(Language.text("preferences.button.width"));
/** height of the EditorHeader, EditorToolbar, and EditorStatus */
@@ -82,7 +82,7 @@ public class Preferences {
// start by loading the defaults, in case something
// important was deleted from the user prefs
try {
- // Name changed for 2.1b2 to avoid problems with users modifying or
+ // Name changed for 2.1b2 to avoid problems with users modifying or
// replacing the file after doing a search for "preferences.txt".
load(Base.getLibStream(DEFAULTS_FILE));
} catch (Exception e) {
@@ -101,7 +101,7 @@ public class Preferences {
platformKeys.add(key);
}
}
-
+
// Use those platform-specific keys to override
for (String key : platformKeys) {
// this is a key specific to a particular platform
@@ -111,11 +111,12 @@ public class Preferences {
}
// clone the hash table
- defaults = (HashMap