public class SettingsManager
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static void |
addPreferenceListener(PreferenceListener listener) |
static boolean |
exists()
Return true if the settings file exists.
|
static void |
fireListeners() |
static LocalPreferences |
getLocalPreferences()
Returns the LocalPreferences for this user.
|
static LocalPreferences |
getRelodLocalPreferences() |
static java.io.File |
getSettingsFile()
Returns the settings file.
|
static void |
removePreferenceListener(PreferenceListener listener) |
static void |
saveSettings()
Persists the settings to the local file system.
|
public static LocalPreferences getRelodLocalPreferences()
public static LocalPreferences getLocalPreferences()
public static void saveSettings()
public static boolean exists()
public static java.io.File getSettingsFile()
public static void addPreferenceListener(PreferenceListener listener)
public static void removePreferenceListener(PreferenceListener listener)
public static void fireListeners()