|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |