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

Packages that use DockingFrameworkProvider

Package	Description
org.gjt.sp.jedit	This package contains jEdit 4'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

Modifier and Type	Method and Description
static DockingFrameworkProvider	View.getDockingFrameworkProvider()

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

Classes in org.gjt.sp.jedit.gui that implement DockingFrameworkProvider

Modifier and Type	Class and Description
class	DockableWindowManagerProvider jEdit's classic dockable window manager, turned into a "provider" service.