Uses of Interface
org.gjt.sp.jedit.IPropertyManager
Packages that use IPropertyManager
Package
Description
This package contains jEdit 4's core classes.
The jEdit syntax highlighting engine.
Classes related to jEdit's TextArea.
Utility classes used by jEdit but that do not depend on jEdit
itself.
Named sets of keyboard shortcuts
-
Uses of IPropertyManager in org.gjt.sp.jedit
Classes in org.gjt.sp.jedit that implement IPropertyManager -
Uses of IPropertyManager in org.gjt.sp.jedit.syntax
Methods in org.gjt.sp.jedit.syntax with parameters of type IPropertyManagerModifier and TypeMethodDescriptionstatic void
Chunk.propertiesChanged
(IPropertyManager props) Reload internal configuration based on the given properties. -
Uses of IPropertyManager in org.gjt.sp.jedit.textarea
Constructors in org.gjt.sp.jedit.textarea with parameters of type IPropertyManagerModifierConstructorDescriptionStandaloneActionSet
(IPropertyManager iPropertyManager, TextArea textArea, URL url) StandaloneTextArea
(IPropertyManager propertyManager) Creates a new StandaloneTextArea.protected
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 -
Uses of IPropertyManager in org.jedit.keymap
Constructors in org.jedit.keymap with parameters of type IPropertyManagerModifierConstructorDescriptionKeymapManagerImpl
(IPropertyManager propertyManager, File systemKeymapFolder, File userKeymapFolder)