public static class jEdit.JEditPropertyManager extends java.lang.Object implements IPropertyManager
| Constructor and Description | 
|---|
| JEditPropertyManager() | 
| Modifier and Type | Method and Description | 
|---|---|
| java.lang.String | getProperty(java.lang.String name)Returns a String property | 
public java.lang.String getProperty(java.lang.String name)
IPropertyManagergetProperty in interface IPropertyManagername - the name of the property