Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
Modifier and Type | Method and Description |
---|---|
DockableWindowManagerImpl |
PanelWindowContainer.getDockableWindowManager() |
DockableWindowManagerImpl |
FloatingWindowContainer.getDockableWindowManager() |
Constructor and Description |
---|
FloatingWindowContainer(DockableWindowManagerImpl dockableWindowManager,
boolean clone) |
PanelWindowContainer(DockableWindowManagerImpl wm,
java.lang.String position,
int dimension) |