| 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. |