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 booleangetGUIForce100percentScaling()static EarlyInitializationPreferencesgetInstance()java.lang.StringgetPreference(java.lang.String pref)java.util.List<java.lang.String>getStartupPreferences()Return the preferences set at startup.voidloadAndSetPreferences()Load the preferences at startup and set them.voidsetGUIForce100percentScaling(boolean value)voidsetPreference(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
 
 
 - 
 
 -