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