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.
|
Modifier and Type | Method and Description |
---|---|
void |
View.handlePropertiesChanged(PropertiesChanged msg) |
void |
EditPane.handlePropertiesChanged(PropertiesChanged msg) |
Modifier and Type | Method and Description |
---|---|
void |
VFSBrowser.handlePropertiesChanged(PropertiesChanged msg) |
Modifier and Type | Method and Description |
---|---|
void |
BufferSetManager.handlePropertiesChanged(PropertiesChanged msg) |
Modifier and Type | Method and Description |
---|---|
void |
DockableWindowManagerImpl.handlePropertiesChanged(PropertiesChanged msg) |
void |
DockableWindowManager.handlePropertiesChanged(PropertiesChanged msg) |
void |
LogViewer.handlePropertiesChanged(PropertiesChanged msg) |
void |
BufferSwitcher.handlePropertiesChanged(PropertiesChanged msg) |
Modifier and Type | Method and Description |
---|---|
void |
EnhancedMenu.EditBusStub.handlePropertiesChanged(PropertiesChanged msg) |
Modifier and Type | Method and Description |
---|---|
void |
PluginManager.handlePropertiesChanged(PropertiesChanged message) |
Modifier and Type | Method and Description |
---|---|
void |
JEditTextArea.handlePropertiesChanged(PropertiesChanged msg) |