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 java.lang.Object
implements IPropertyManager

Constructor Summary

Constructors

Constructor	Description
JEditPropertyManager()

Method Summary

Modifier and Type	Method	Description
java.lang.String	getProperty(java.lang.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 Detail

JEditPropertyManager

public JEditPropertyManager()

Method Detail

getProperty

public java.lang.String getProperty(java.lang.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