Package org.gjt.sp.jedit.gui
Interface DockableWindowManager.DockingArea
-
- All Known Implementing Classes:
PanelWindowContainer
- Enclosing class:
- DockableWindowManager
public static interface DockableWindowManager.DockingArea
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.StringgetCurrent()java.lang.String[]getDockables()voidshow(java.lang.String name)voidshowMostRecent()
-