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

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

static TextArea	TextArea._createTextArea(boolean insidejEdit, IPropertyManager iPropertyManager)
static TextArea	TextArea.createTextArea(IPropertyManager iPropertyManager) Create a standalone TextArea.

Uses of IPropertyManager in org.gjt.sp.util

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

static IPropertyManager

SyntaxUtilities.propertyManager