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   
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   
org.gjt.sp.jedit.pluginmgr The plugin manager. 
 

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)