Uses of Class
org.gjt.sp.jedit.msg.PropertiesChanged
Packages that use PropertiesChanged
Package
Description
This package contains jEdit 4's core classes.
jEdit's file system browser.
Classes related to implementation of the BufferSets feature of jEdit.
Various GUI controls and dialog boxes.
Classes for generation of dynamic menus
The plugin manager.
Classes related to jEdit's TextArea.
-
Uses of PropertiesChanged in org.gjt.sp.jedit
Methods in org.gjt.sp.jedit with parameters of type PropertiesChangedModifier and TypeMethodDescriptionvoid
EditPane.handlePropertiesChanged
(PropertiesChanged msg) void
View.handlePropertiesChanged
(PropertiesChanged msg) -
Uses of PropertiesChanged in org.gjt.sp.jedit.browser
Methods in org.gjt.sp.jedit.browser with parameters of type PropertiesChanged -
Uses of PropertiesChanged in org.gjt.sp.jedit.bufferset
Methods in org.gjt.sp.jedit.bufferset with parameters of type PropertiesChangedModifier and TypeMethodDescriptionvoid
BufferSetManager.handlePropertiesChanged
(PropertiesChanged msg) -
Uses of PropertiesChanged in org.gjt.sp.jedit.gui
Methods in org.gjt.sp.jedit.gui with parameters of type PropertiesChangedModifier and TypeMethodDescriptionvoid
BufferSwitcher.handlePropertiesChanged
(PropertiesChanged msg) void
DockableWindowManager.handlePropertiesChanged
(PropertiesChanged msg) void
DockableWindowManagerImpl.handlePropertiesChanged
(PropertiesChanged msg) void
LogViewer.handlePropertiesChanged
(PropertiesChanged msg) -
Uses of PropertiesChanged in org.gjt.sp.jedit.pluginmgr
Methods in org.gjt.sp.jedit.pluginmgr with parameters of type PropertiesChangedModifier and TypeMethodDescriptionvoid
PluginManager.handlePropertiesChanged
(PropertiesChanged message) -
Uses of PropertiesChanged in org.gjt.sp.jedit.textarea
Methods in org.gjt.sp.jedit.textarea with parameters of type PropertiesChangedModifier and TypeMethodDescriptionvoid
JEditTextArea.handlePropertiesChanged
(PropertiesChanged msg)