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.String
getCurrent()
java.lang.String[]
getDockables()
void
show(java.lang.String name)
void
showMostRecent()
-