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.