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

Packages that use PropertiesChanged

org.gjt.sp.jedit	This package contains jEdit'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.help	The jEdit help viewer.
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

void	View.handlePropertiesChanged(PropertiesChanged msg)
void	EditPane.handlePropertiesChanged(PropertiesChanged msg)

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

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

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

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

void	RegisterViewer.handlePropertiesChanged(PropertiesChanged msg)
void	LogViewer.handlePropertiesChanged(PropertiesChanged msg)
void	DockableWindowManager.handlePropertiesChanged(PropertiesChanged msg)
void	DockableWindowManagerImpl.handlePropertiesChanged(PropertiesChanged msg)

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

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

void	HelpViewer.handlePropertiesChanged(PropertiesChanged msg)

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

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

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

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

void	JEditTextArea.handlePropertiesChanged(PropertiesChanged msg)