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.