Module jEdit
Package org.gjt.sp.jedit.gui

Interface DockableWindowManager.DockingArea

All Known Implementing Classes:
PanelWindowContainer
Enclosing class:
DockableWindowManager
public static interface DockableWindowManager.DockingArea

  • Method Details

    • showMostRecent

      void showMostRecent()

    • getCurrent

      String getCurrent()

    • show

      void show(String name)

    • getDockables

      String[] getDockables()