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

Packages that use DockingFrameworkProvider

Package	Description
org.gjt.sp.jedit
org.gjt.sp.jedit.gui

Uses of DockingFrameworkProvider in org.gjt.sp.jedit

Methods in org.gjt.sp.jedit that return DockingFrameworkProvider

Modifier and Type	Method	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	Description
class	DockableWindowManagerProvider	jEdit's classic dockable window manager, turned into a "provider" service.