org.gjt.sp.jedit
Interface IPropertyManager

All Known Implementing Classes:

jEdit.JEditPropertyManager

public interface IPropertyManager

Manage properties.

Since:

4.3pre13

Method Summary

java.lang.String

getProperty(java.lang.String name) Returns a String property

Method Detail

getProperty

java.lang.String getProperty(java.lang.String name)

Returns a String property

Parameters:

name - the name of the property

Returns:

the string property or null if it doesn't exist