jmathlib.ui.swing
Class ApplicationConfiguration

java.lang.Object
  extended by java.util.Dictionary<K,V>
      extended by java.util.Hashtable<java.lang.Object,java.lang.Object>
          extended by java.util.Properties
              extended by jmathlib.ui.swing.ApplicationConfiguration
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map<java.lang.Object,java.lang.Object>

public class ApplicationConfiguration
extends java.util.Properties

See Also:
Serialized Form

Field Summary
static java.lang.String CURRENT_WORKING_DIRECTORY_PROPERTY
           
static java.lang.String SEARCH_PATH_PROPERTY
           
static java.lang.String SESSION_HISTORY_SESSIONCMDCOUNT_PROPERTY
           
static java.lang.String SESSION_HISTORY_SESSIONCOUNT_PROPERTY
           
 
Fields inherited from class java.util.Properties
defaults
 
Method Summary
static java.io.File getConfigurationDirectory()
          Returns a file object to the directory containing all of the Mathlib configuration information.
static ApplicationConfiguration getInstance()
           
 int getIntProperty(java.lang.String key)
           
 void setIntProperty(java.lang.String key, int val)
           
 void showConfigurationDialog(java.awt.Component container)
           
 void writeConfiguration()
           
 
Methods inherited from class java.util.Properties
getProperty, getProperty, list, list, load, load, loadFromXML, propertyNames, save, setProperty, store, store, storeToXML, storeToXML, stringPropertyNames
 
Methods inherited from class java.util.Hashtable
clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

SESSION_HISTORY_SESSIONCOUNT_PROPERTY

public static final java.lang.String SESSION_HISTORY_SESSIONCOUNT_PROPERTY
See Also:
Constant Field Values

SESSION_HISTORY_SESSIONCMDCOUNT_PROPERTY

public static final java.lang.String SESSION_HISTORY_SESSIONCMDCOUNT_PROPERTY
See Also:
Constant Field Values

SEARCH_PATH_PROPERTY

public static final java.lang.String SEARCH_PATH_PROPERTY
See Also:
Constant Field Values

CURRENT_WORKING_DIRECTORY_PROPERTY

public static final java.lang.String CURRENT_WORKING_DIRECTORY_PROPERTY
See Also:
Constant Field Values
Method Detail

writeConfiguration

public void writeConfiguration()

getInstance

public static ApplicationConfiguration getInstance()

getConfigurationDirectory

public static java.io.File getConfigurationDirectory()
Returns a file object to the directory containing all of the Mathlib configuration information. Other classes may use this directory to store additional information If the directory does not exist, it is attempted to be created. If the directory cannot be created, this method will return null.


getIntProperty

public int getIntProperty(java.lang.String key)

setIntProperty

public void setIntProperty(java.lang.String key,
                           int val)

showConfigurationDialog

public void showConfigurationDialog(java.awt.Component container)