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