Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit's core classes.
|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Modifier and Type | Method | Description |
---|---|---|
static DockingFrameworkProvider |
View.getDockingFrameworkProvider() |
Modifier and Type | Class | Description |
---|---|---|
class |
DockableWindowManagerProvider |
jEdit's classic dockable window manager, turned into a "provider" service.
|