Interface IPropertyManager

All Known Implementing Classes:
jEdit.JEditPropertyManager
public interface IPropertyManager
Interface for class that returns properties.
Since:
jEdit 4.3
Author:
Matthieu Casanova

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getProperty(String name)
    Returns a String property

  • Method Details

    • getProperty

      String getProperty(String name)
      Returns a String property
      Parameters:
      name - the name of the property
      Returns:
      the string property or null if it doesn't exist