net.sf.plb4jedit.filelocator
Class FileLocatorOptions

java.lang.Object
  net.sf.plb4jedit.filelocator.FileLocatorOptions

public class FileLocatorOptions

extends Object

Encapsulates storing of options in jEdit properties.

Author:

Bernhard Krickl V.0.01 $Log: FileLocatorOptions.java,v $ V.0.01 Revision 1.2 2003/11/07 16:57:27 schaefep V.0.01 initial ps V.0.01 V.0.01 Revision 1.1 2003/11/04 17:40:31 skopp V.0.01 checked in subprojects + sources V.0.01 V.0.01 Revision 1.1 2002/05/08 15:03:28 krickl V.0.01 Encapsulates storing of options in jEdit properties. V.0.01

Method Summary

static FileLocatorOptions	getInstance() get the singletion intance of FileLocatorOptions
Vector	getMapConfigs()
String	getOptionPaneCaption() get the caption for the option pane.
void	save() save all changeable options.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static FileLocatorOptions getInstance()

get the singletion intance of FileLocatorOptions

getOptionPaneCaption

public String getOptionPaneCaption()

get the caption for the option pane. if not configured, a default caption is set.

getMapConfigs

public Vector getMapConfigs()

save

public void save()

save all changeable options.