Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## org.gjt.sp.jedit.gui
Interface DockingFrameworkProvider

All Known Implementing Classes:
  DockableWindowManagerProvider

    public interface DockingFrameworkProvider

Base interface for Docking Framework Provider services. Plugins can offer alternate docking frameworks by offering a service that creates an instance of one of these. For an example, see jEdit's own services.xml, which provides jEdit's classic docking framework via the class DockableWindowManagerProvider.

Since:
  jEdit 4.3pre16

Method Summary
`DockableWindowManager` | `create(View view, DockableWindowFactory instance, View.ViewConfig config)`
`DockableWindowManager.DockingLayout` | `createDockingLayout()`

Method Detail

### create

    DockableWindowManager create(View view,
                                 DockableWindowFactory instance,
                                 View.ViewConfig config)

### createDockingLayout

    DockableWindowManager.DockingLayout createDockingLayout()

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD