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 | Field | Description |
---|---|---|
DockableWindowManager.DockingLayout |
View.ViewConfig.docking |
Modifier and Type | Class | Description |
---|---|---|
static class |
DockableWindowManagerImpl.DockableWindowConfig |
Modifier and Type | Method | Description |
---|---|---|
DockableWindowManager.DockingLayout |
DockableWindowManagerProvider.createDockingLayout() |
|
DockableWindowManager.DockingLayout |
DockingFrameworkProvider.createDockingLayout() |
|
abstract DockableWindowManager.DockingLayout |
DockableWindowManager.getDockingLayout(View.ViewConfig config) |
|
DockableWindowManager.DockingLayout |
DockableWindowManagerImpl.getDockingLayout(View.ViewConfig config) |
Modifier and Type | Method | Description |
---|---|---|
void |
DockableWindowManager.applyDockingLayout(DockableWindowManager.DockingLayout docking) |
|
void |
DockableWindowManager.setDockingLayout(DockableWindowManager.DockingLayout docking) |
|
void |
DockableWindowManagerImpl.setDockingLayout(DockableWindowManager.DockingLayout docking) |