Uses of Class
jmri.util.prefs.JmriPreferencesProvider

Packages that use JmriPreferencesProvider

Package

Description

jmri.util.prefs

This package provides two mechanisms for storing preferences and one mechanism for storing user interface state within a JMRI profile: JmriConfigurationProvider Complex preferences within an XML element provided by the object storing and retrieving the element. JmriPreferencesProvider Simple preferences within a Preferences construct. JmriUserInterfaceConfigurationProvider Complex user interface state within an XML element provided by the object storing and retrieving the element. These three classes provide arbitrary read/write access to the underlying storage, such that writing a users preferences does not require any part of a JMRI application have knowledge of every object that manages users preferences.

Uses of JmriPreferencesProvider in jmri.util.prefs

Methods in jmri.util.prefs that return JmriPreferencesProvider

Modifier and Type	Method	Description
(package private) static JmriPreferencesProvider	JmriPreferencesProvider.findProvider(java.io.File path, boolean shared)	Get the JmriPreferencesProvider for the specified profile path.