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.