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