mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-29 18:52:13 +01:00
Removed Preferences.init: no one used it
This commit is contained in:
parent
6c2a6aef6f
commit
5faa1c9866
@ -84,13 +84,6 @@ public class Preferences {
|
|||||||
|
|
||||||
static final int GUI_SMALL = 6;
|
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
|
@Deprecated
|
||||||
protected static void save() {
|
protected static void save() {
|
||||||
PreferencesData.save();
|
PreferencesData.save();
|
||||||
|
@ -51,7 +51,7 @@ public abstract class AbstractGUITest {
|
|||||||
FailOnThreadViolationRepaintManager.install();
|
FailOnThreadViolationRepaintManager.install();
|
||||||
|
|
||||||
BaseNoGui.initPlatform();
|
BaseNoGui.initPlatform();
|
||||||
Preferences.init(null);
|
PreferencesData.init(null);
|
||||||
JPopupMenu.setDefaultLightWeightPopupEnabled(false);
|
JPopupMenu.setDefaultLightWeightPopupEnabled(false);
|
||||||
Theme.init();
|
Theme.init();
|
||||||
BaseNoGui.getPlatform().setLookAndFeel();
|
BaseNoGui.getPlatform().setLookAndFeel();
|
||||||
|
@ -39,7 +39,7 @@ public abstract class AbstractWithPreferencesTest {
|
|||||||
Runtime.getRuntime().addShutdownHook(new Thread(DeleteFilesOnShutdown.INSTANCE));
|
Runtime.getRuntime().addShutdownHook(new Thread(DeleteFilesOnShutdown.INSTANCE));
|
||||||
BaseNoGui.initPlatform();
|
BaseNoGui.initPlatform();
|
||||||
BaseNoGui.getPlatform().init();
|
BaseNoGui.getPlatform().init();
|
||||||
Preferences.init(null);
|
PreferencesData.init(null);
|
||||||
Theme.init();
|
Theme.init();
|
||||||
|
|
||||||
BaseNoGui.initPackages();
|
BaseNoGui.initPackages();
|
||||||
|
Loading…
x
Reference in New Issue
Block a user