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

Packages that use PropertiesChanged

Package	Description
org.gjt.sp.jedit
org.gjt.sp.jedit.browser
org.gjt.sp.jedit.bufferset
org.gjt.sp.jedit.gui
org.gjt.sp.jedit.menu
org.gjt.sp.jedit.pluginmgr
org.gjt.sp.jedit.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)