jEdit.JEditPropertyManager (jEdit API Documentation)
Date: 2018-04-10

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 and Description
    `JEditPropertyManager()`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.String` | `getProperty(java.lang.String name)` Returns a String property

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### JEditPropertyManager

          public JEditPropertyManager()

  - ### 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 interface `IPropertyManager`
      Parameters:
        `name` - the name of the property
      Returns:
        the string property or null if it doesn't exist