Uses of Interface
org.gjt.sp.jedit.IPropertyManager
Package
Description
-
Uses of IPropertyManager in org.gjt.sp.jedit
-
Uses of IPropertyManager in org.gjt.sp.jedit.syntax
Modifier and TypeMethodDescriptionstatic void
Chunk.propertiesChanged
(IPropertyManager props) Reload internal configuration based on the given properties. -
Uses of IPropertyManager in org.gjt.sp.jedit.textarea
ModifierConstructorDescriptionStandaloneActionSet
(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
-
Uses of IPropertyManager in org.jedit.keymap
ModifierConstructorDescriptionKeymapManagerImpl
(IPropertyManager propertyManager, File systemKeymapFolder, File userKeymapFolder)