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 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.
-