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

static String

PROPS_FILENAME

Fields inherited from class java.util.Properties

defaults

Constructor Summary

Preferences()

Preferences(String filename)

Method Summary

int	getIntegerProperty(String name, int defaultValue)
void	save()

Methods inherited from class java.util.Properties

getProperty, getProperty, list, list, load, loadFromXML, propertyNames, save, setProperty, store, storeToXML, storeToXML

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()