IPropertyManager
public static class jEdit.JEditPropertyManager extends java.lang.Object implements IPropertyManager
Constructor | Description |
---|---|
JEditPropertyManager() |
Modifier and Type | Method | 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