org.gjt.sp.jedit.gui
Interface DockingFrameworkProvider
- All Known Implementing Classes:
- DockableWindowManagerProvider
public interface DockingFrameworkProvider
Base interface for Docking Framework Provider services.
Plugins can offer alternate docking frameworks by offering a service
that creates an instance of one of these.
For an example, see jEdit's own services.xml, which provides jEdit's classic
docking framework via the class DockableWindowManagerProvider.
- Since:
- jEdit 4.3pre16
create
DockableWindowManager create(View view,
DockableWindowFactory instance,
View.ViewConfig config)
createDockingLayout
DockableWindowManager.DockingLayout createDockingLayout()