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 |
---|---|---|
View.ViewConfig |
View.getViewConfig() |
Modifier and Type | Method | Description |
---|---|---|
void |
View.adjust(View parent,
View.ViewConfig config) |
|
static View |
jEdit.newView(View view,
Buffer buffer,
View.ViewConfig config) |
Creates a new view.
|
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) |
|
abstract DockableWindowManager.DockingLayout |
DockableWindowManager.getDockingLayout(View.ViewConfig config) |
|
DockableWindowManager.DockingLayout |
DockableWindowManagerImpl.getDockingLayout(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.
|