|
|||||||||
| Home >> All >> org >> fluidsynth >> [ api overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.fluidsynth.api
Class FluidGuiPrefs

java.lang.Objectorg.fluidsynth.api.FluidGuiPrefs
- public class FluidGuiPrefs
- extends java.lang.Object
A class which provides access to the user preferences.
| Field Summary | |
private static java.lang.String |
PREF_FAVORITE_FOLDER
|
private static java.lang.String |
PREF_SHOW_NON_REALTIME_WARNING
|
private static java.lang.String |
PREF_SHOW_SPLASH
|
private static java.lang.String |
PREF_STARTUP_CONFIG
|
private static java.lang.String |
PREFS_FILE
|
private static java.lang.String |
prefsDir
|
private static java.io.File |
prefsFile
|
private static java.util.Properties |
properties
|
| Constructor Summary | |
FluidGuiPrefs()
|
|
| Method Summary | |
private static void |
check()
Check to make sure we're initialized, else throw IllegaStateException. |
static java.lang.String |
getFavoriteFolder()
Getter for property favoriteFolder. |
static java.lang.String |
getPreferencesDir()
Gets the directory in which the preferences file is stored. |
static boolean |
getShowNonRealtimeWarning()
Get the show non-realtime warning flag. |
static boolean |
getShowSplashScreen()
Get the show splash screen flag. |
static java.lang.String |
getStartupConfigPathname()
Get the pathname to the configuration the user has chosen to load at startup. |
static void |
init()
Initialize the user's preferences. |
static void |
save()
Save the user's preferences. |
static void |
setFavoriteFolder(java.lang.String favoriteFolder)
Setter for property favoriteFolder. |
static void |
setShowNonRealtimeWarning(boolean flag)
Set the show non-realtime warning flag. |
static void |
setShowSplashScreen(boolean flag)
Set the show splash screen flag. |
static void |
setStartupConfigPathname(java.lang.String pathname)
Set the pathname to the configuration the user has chosen to load at startup. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
PREFS_FILE
private static final java.lang.String PREFS_FILE
- See Also:
- Constant Field Values
PREF_STARTUP_CONFIG
private static final java.lang.String PREF_STARTUP_CONFIG
- See Also:
- Constant Field Values
PREF_SHOW_SPLASH
private static final java.lang.String PREF_SHOW_SPLASH
- See Also:
- Constant Field Values
PREF_SHOW_NON_REALTIME_WARNING
private static final java.lang.String PREF_SHOW_NON_REALTIME_WARNING
- See Also:
- Constant Field Values
PREF_FAVORITE_FOLDER
private static final java.lang.String PREF_FAVORITE_FOLDER
- See Also:
- Constant Field Values
prefsFile
private static java.io.File prefsFile
prefsDir
private static java.lang.String prefsDir
properties
private static java.util.Properties properties
| Constructor Detail |
FluidGuiPrefs
public FluidGuiPrefs()
| Method Detail |
getPreferencesDir
public static java.lang.String getPreferencesDir()
- Gets the directory in which the preferences file is stored.
init
public static void init()
throws java.io.IOException
- Initialize the user's preferences. This method must be called
early during application startup. This method creates the
preferences dir if it doesn't already exist. The preferences directory is
${user.home}/.fluidgui.
check
private static void check()
- Check to make sure we're initialized, else throw IllegaStateException.
save
public static void save()
throws java.io.IOException
- Save the user's preferences.
getStartupConfigPathname
public static java.lang.String getStartupConfigPathname()
- Get the pathname to the configuration the user has chosen to load at startup.
setStartupConfigPathname
public static void setStartupConfigPathname(java.lang.String pathname)
- Set the pathname to the configuration the user has chosen to load at startup.
getShowSplashScreen
public static boolean getShowSplashScreen()
- Get the show splash screen flag.
setShowSplashScreen
public static void setShowSplashScreen(boolean flag)
- Set the show splash screen flag.
getShowNonRealtimeWarning
public static boolean getShowNonRealtimeWarning()
- Get the show non-realtime warning flag.
setShowNonRealtimeWarning
public static void setShowNonRealtimeWarning(boolean flag)
- Set the show non-realtime warning flag.
getFavoriteFolder
public static java.lang.String getFavoriteFolder()
- Getter for property favoriteFolder.
setFavoriteFolder
public static void setFavoriteFolder(java.lang.String favoriteFolder)
- Setter for property favoriteFolder.
|
|||||||||
| Home >> All >> org >> fluidsynth >> [ api overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.fluidsynth.api.FluidGuiPrefs