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