Removed Preferences.init: no one used it

Federico Fissore · Federico Fissore · commit 5faa1c986661 · 2015-05-25T14:43:32.000+02:00
diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java
@@ -84,13 +84,6 @@ public class Preferences {
 
   static final int GUI_SMALL = 6;
 
-  static protected void init(File file) {
-    PreferencesData.init(file);
-
-    // other things that have to be set explicitly for the defaults
-    PreferencesHelper.putColor(PreferencesData.prefs, "run.window.bgcolor", SystemColor.control);
-  }
-
   @Deprecated
   protected static void save() {
     PreferencesData.save();
diff --git a/app/test/processing/app/AbstractGUITest.java b/app/test/processing/app/AbstractGUITest.java
@@ -51,7 +51,7 @@ public void startUpTheIDE() throws Exception {
     FailOnThreadViolationRepaintManager.install();
 
     BaseNoGui.initPlatform();
-    Preferences.init(null);
+    PreferencesData.init(null);
     JPopupMenu.setDefaultLightWeightPopupEnabled(false);
     Theme.init();
     BaseNoGui.getPlatform().setLookAndFeel();
diff --git a/app/test/processing/app/AbstractWithPreferencesTest.java b/app/test/processing/app/AbstractWithPreferencesTest.java
@@ -39,7 +39,7 @@ public void init() throws Exception {
     Runtime.getRuntime().addShutdownHook(new Thread(DeleteFilesOnShutdown.INSTANCE));
     BaseNoGui.initPlatform();
     BaseNoGui.getPlatform().init();
-    Preferences.init(null);
+    PreferencesData.init(null);
     Theme.init();
 
     BaseNoGui.initPackages();
