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)
IPropertyManager
getProperty
in interface IPropertyManager
name
- the name of the property