org.gjt.sp.jedit.gui
Interface DockableWindowManager.DockingArea

All Known Implementing Classes:
PanelWindowContainer
Enclosing class:
DockableWindowManager

public static interface DockableWindowManager.DockingArea


Method Summary
 java.lang.String getCurrent()
           
 java.lang.String[] getDockables()
           
 void show(java.lang.String name)
           
 void showMostRecent()
           
 

Method Detail

showMostRecent

void showMostRecent()

getCurrent

java.lang.String getCurrent()

show

void show(java.lang.String name)

getDockables

java.lang.String[] getDockables()