Uses of Class
org.gjt.sp.jedit.msg.PropertiesChanged

Packages that use PropertiesChanged

Package	Description
org.gjt.sp.jedit	This package contains jEdit 4's core classes.
org.gjt.sp.jedit.browser	jEdit's file system browser.
org.gjt.sp.jedit.bufferset	Classes related to implementation of the BufferSets feature of jEdit.
org.gjt.sp.jedit.gui	Various GUI controls and dialog boxes.
org.gjt.sp.jedit.menu	Classes for generation of dynamic menus
org.gjt.sp.jedit.pluginmgr	The plugin manager.
org.gjt.sp.jedit.textarea	Classes related to jEdit's TextArea.

Uses of PropertiesChanged in org.gjt.sp.jedit

Methods in org.gjt.sp.jedit with parameters of type PropertiesChanged

Modifier and Type	Method	Description
void	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

Modifier and Type	Method	Description
void	VFSBrowser.handlePropertiesChanged(PropertiesChanged msg)

Uses of PropertiesChanged in org.gjt.sp.jedit.bufferset

Methods in org.gjt.sp.jedit.bufferset with parameters of type PropertiesChanged

Modifier and Type	Method	Description
void	BufferSetManager.handlePropertiesChanged(PropertiesChanged msg)

Uses of PropertiesChanged in org.gjt.sp.jedit.gui

Methods in org.gjt.sp.jedit.gui with parameters of type PropertiesChanged

Modifier and Type	Method	Description
void	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.menu

Methods in org.gjt.sp.jedit.menu with parameters of type PropertiesChanged

Modifier and Type	Method	Description
void	EnhancedMenu.EditBusStub.handlePropertiesChanged(PropertiesChanged msg)

Uses of PropertiesChanged in org.gjt.sp.jedit.pluginmgr

Methods in org.gjt.sp.jedit.pluginmgr with parameters of type PropertiesChanged

Modifier and Type	Method	Description
void	PluginManager.handlePropertiesChanged(PropertiesChanged message)

Uses of PropertiesChanged in org.gjt.sp.jedit.textarea

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

Modifier and Type	Method	Description
void	JEditTextArea.handlePropertiesChanged(PropertiesChanged msg)