Package jmri.util
Class EarlyInitializationPreferences
- java.lang.Object
-
- jmri.util.EarlyInitializationPreferences
-
public class EarlyInitializationPreferences extends java.lang.Object
Allow the user to configure properties that needs to be setup very early when JMRI starts, for example before Swing starts up.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
getGUIForce100percentScaling()
static EarlyInitializationPreferences
getInstance()
java.lang.String
getPreference(java.lang.String pref)
java.util.List<java.lang.String>
getStartupPreferences()
Return the preferences set at startup.void
loadAndSetPreferences()
Load the preferences at startup and set them.void
setGUIForce100percentScaling(boolean value)
void
setPreference(java.lang.String pref, java.lang.String value)
-
-
-
Method Detail
-
getInstance
public static EarlyInitializationPreferences getInstance()
-
getPreference
public java.lang.String getPreference(java.lang.String pref)
-
setPreference
public void setPreference(java.lang.String pref, java.lang.String value)
-
getGUIForce100percentScaling
public boolean getGUIForce100percentScaling()
-
setGUIForce100percentScaling
public void setGUIForce100percentScaling(boolean value)
-
loadAndSetPreferences
public void loadAndSetPreferences()
Load the preferences at startup and set them.
-
getStartupPreferences
public java.util.List<java.lang.String> getStartupPreferences()
Return the preferences set at startup.- Returns:
- the preferences
-
-