Uses of Interface
org.gjt.sp.jedit.IPropertyManager

Packages that use IPropertyManager

org.gjt.sp.jedit	This package contains jEdit's core classes.
org.gjt.sp.jedit.textarea	The classes in this package are in the process of being refactored, for jedit 4.3final.
org.gjt.sp.util	Utility classes used by jEdit but that do not depend on jEdit itself.

Uses of IPropertyManager in org.gjt.sp.jedit

Classes in org.gjt.sp.jedit that implement IPropertyManager

static class

jEdit.JEditPropertyManager

Uses of IPropertyManager in org.gjt.sp.jedit.textarea

Constructors in org.gjt.sp.jedit.textarea with parameters of type IPropertyManager

StandaloneTextArea(IPropertyManager propertyManager)
Creates a new StandaloneTextArea.

TextArea(IPropertyManager propertyManager, InputHandlerProvider inputHandlerProvider)
Creates a new JEditTextArea.

Uses of IPropertyManager in org.gjt.sp.util

Fields in org.gjt.sp.util declared as IPropertyManager

static IPropertyManager

SyntaxUtilities.propertyManager