| Package | Description |
|---|---|
| org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
| Modifier and Type | Field | Description |
|---|---|---|
protected DockableWindowFactory |
DockableWindowManager.factory |
| Modifier and Type | Method | Description |
|---|---|---|
static DockableWindowFactory |
DockableWindowFactory.getInstance() |
| Modifier and Type | Method | Description |
|---|---|---|
DockableWindowManager |
DockableWindowManagerProvider.create(View view,
DockableWindowFactory instance,
View.ViewConfig config) |
|
DockableWindowManager |
DockingFrameworkProvider.create(View view,
DockableWindowFactory instance,
View.ViewConfig config) |
| Constructor | Description |
|---|---|
DockableWindowManager(View view,
DockableWindowFactory instance,
View.ViewConfig config) |
|
DockableWindowManagerImpl(View view,
DockableWindowFactory factory,
View.ViewConfig config) |
Creates a new dockable window manager.
|