Package org.gjt.sp.jedit
Class jEdit.JEditPropertyManager
- java.lang.Object
-
- org.gjt.sp.jedit.jEdit.JEditPropertyManager
-
- All Implemented Interfaces:
IPropertyManager
- Enclosing class:
- jEdit
public static class jEdit.JEditPropertyManager extends java.lang.Object implements IPropertyManager
-
-
Constructor Summary
Constructors Constructor Description JEditPropertyManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getProperty(java.lang.String name)
Returns a String property
-
-
-
Method Detail
-
getProperty
public java.lang.String getProperty(java.lang.String name)
Description copied from interface:IPropertyManager
Returns a String property- Specified by:
getProperty
in interfaceIPropertyManager
- Parameters:
name
- the name of the property- Returns:
- the string property or null if it doesn't exist
-
-