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