Interface IPropertyManager

  • All Known Implementing Classes:
    jEdit.JEditPropertyManager

    public interface IPropertyManager
    Interface for class that returns properties.
    Since:
    jEdit 4.3
    • Method Detail

      • getProperty

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