Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

Packages that use DockingFrameworkProvider
org.gjt.sp.jedit | This package contains jEdit's core classes.
org.gjt.sp.jedit.gui | Various GUI controls and dialog boxes.

Uses of DockingFrameworkProvider in org.gjt.sp.jedit

Methods in org.gjt.sp.jedit that return DockingFrameworkProvider
`static DockingFrameworkProvider` | `View.getDockingFrameworkProvider()`

Uses of DockingFrameworkProvider in org.gjt.sp.jedit.gui

Classes in org.gjt.sp.jedit.gui that implement DockingFrameworkProvider
`class` | `DockableWindowManagerProvider` jEdit's classic dockable window manager, turned into a "provider" service.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES