jmathlib.ui.swing
Class ApplicationConfiguration
java.lang.Object
java.util.Dictionary<K,V>
java.util.Hashtable<java.lang.Object,java.lang.Object>
java.util.Properties
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
| Fields inherited from class java.util.Properties |
defaults |
| 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 |
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
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)