EarlyInitializationPreferences (JMRI API)

java.lang.Object

jmri.util.EarlyInitializationPreferences

public class EarlyInitializationPreferences extends 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

Modifier and Type

Method

Description

boolean

getGUIForce100percentScaling()

static EarlyInitializationPreferences

getInstance()

String

getPreference(String pref)

List<String>

getStartupPreferences()

Return the preferences set at startup.

void

loadAndSetPreferences()

Load the preferences at startup and set them.

void

setGUIForce100percentScaling(boolean value)

void

setPreference(String pref, String value)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- getInstance
  
  public static EarlyInitializationPreferences getInstance()
- getPreference
  
  public String getPreference(String pref)
- setPreference
  
  public void setPreference(String pref, 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 List<String> getStartupPreferences()
  
  Return the preferences set at startup.
  
  Returns:
  
  the preferences