Package org.gjt.sp.jedit
Interface IPropertyManager
-
- All Known Implementing Classes:
jEdit.JEditPropertyManager
public interface IPropertyManagerInterface for class that returns properties.- Since:
- jEdit 4.3
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.StringgetProperty(java.lang.String name)Returns a String property
-