Uses of Interface
org.gjt.sp.jedit.IPropertyManager
Packages that use IPropertyManager
Package
Description
-
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)