abbot.editor

Class Preferences

java.lang.Object

java.util.Dictionary<K,V>

java.util.Hashtable<Object,Object>

java.util.Properties

abbot.editor.Preferences

All Implemented Interfaces:

Serializable, Cloneable, Map<Object,Object>

public class Preferences
extends Properties

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static String	PROPS_FILENAME

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Constructors

Constructor and Description
Preferences()
Preferences(String filename)

Method Summary

Methods

Modifier and Type	Method and Description
int	getIntegerProperty(String name, int defaultValue)
void	save()

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

PROPS_FILENAME

public static final String PROPS_FILENAME

See Also:

Constant Field Values

Constructor Detail

Preferences

public Preferences()

Preferences

public Preferences(String filename)

Method Detail

getIntegerProperty

public int getIntegerProperty(String name,
                     int defaultValue)

save

public void save()