Module jEdit

Package org.gjt.sp.jedit

Class jEdit.JEditPropertyManager

java.lang.Object

org.gjt.sp.jedit.jEdit.JEditPropertyManager

All Implemented Interfaces:

IPropertyManager

Enclosing class:

jEdit

public static class jEdit.JEditPropertyManager
extends Object
implements IPropertyManager

Constructor Summary

Constructors

Constructor	Description
JEditPropertyManager()

Method Summary

Modifier and Type	Method	Description
String	getProperty(String name)	Returns a String property

Methods inherited from class java.lang.Object

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

Constructor Details

JEditPropertyManager

public JEditPropertyManager()

Method Details

getProperty

public String getProperty(String name)

Description copied from interface: IPropertyManager

Returns a String property

Specified by:

getProperty in interface IPropertyManager

Parameters:

name - the name of the property

Returns:

the string property or null if it doesn't exist