org.simbrain.workspace
Class WorkspacePreferences

java.lang.Object
  extended by org.simbrain.workspace.WorkspacePreferences

public class WorkspacePreferences
extends Object

WorkspacePreferences handles storage and retrieval of user preferences, e.g. current directory.


Constructor Summary
WorkspacePreferences()
           
 
Method Summary
static String getCurrentDirectory()
          Return the current workspace directory.
static String getDefaultCurrentDirectory()
          Return the default current workspace directory.
static String getDefaultDefaultFile()
          Return the default defalut file.
static String getDefaultFile()
          Return the default file.
static void restoreDefaults()
          Restors user preferences to default values.
static void saveAll()
          Save all user preferences.
static void setCurrentDirectory(String dir)
          Sets the current workspace directory.
static void setDefaultFile(String file)
          Sets the default workspace file.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WorkspacePreferences

public WorkspacePreferences()
Method Detail

saveAll

public static void saveAll()
Save all user preferences.


restoreDefaults

public static void restoreDefaults()
Restors user preferences to default values.


setCurrentDirectory

public static void setCurrentDirectory(String dir)
Sets the current workspace directory.

Parameters:
dir - Directory to set

getCurrentDirectory

public static String getCurrentDirectory()
Return the current workspace directory.

Returns:
return the current directory

getDefaultCurrentDirectory

public static String getDefaultCurrentDirectory()
Return the default current workspace directory.

Returns:
default current directory

setDefaultFile

public static void setDefaultFile(String file)
Sets the default workspace file.

Parameters:
file - Default file to set

getDefaultFile

public static String getDefaultFile()
Return the default file.

Returns:
the default file

getDefaultDefaultFile

public static String getDefaultDefaultFile()
Return the default defalut file.

Returns:
the default default file