Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Modifier and Type | Class | Description |
---|---|---|
class |
PanelWindowContainer |
A container for dockable windows.
|
Modifier and Type | Method | Description |
---|---|---|
abstract DockableWindowManager.DockingArea |
DockableWindowManager.getBottomDockingArea() |
|
abstract DockableWindowManager.DockingArea |
DockableWindowManager.getLeftDockingArea() |
|
abstract DockableWindowManager.DockingArea |
DockableWindowManager.getRightDockingArea() |
|
abstract DockableWindowManager.DockingArea |
DockableWindowManager.getTopDockingArea() |