PageRenderTime 28ms CodeModel.GetById 25ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/gui/DockingFrameworkProvider.java

#
Java | 21 lines | 9 code | 3 blank | 9 comment | 0 complexity | 3d8339a88908817a4eb5c3d2dd829a78 MD5 | raw file
 1package org.gjt.sp.jedit.gui;
 2
 3import org.gjt.sp.jedit.View;
 4import org.gjt.sp.jedit.View.ViewConfig;
 5import org.gjt.sp.jedit.gui.DockableWindowManager.DockingLayout;
 6
 7
 8/** Base interface for Docking Framework Provider services.
 9    Plugins can offer alternate docking frameworks by offering a service
10    that creates an instance of one of these.
11    For an example, see jEdit's own services.xml, which provides jEdit's classic
12    docking framework via the class DockableWindowManagerProvider.
13
14    @since jEdit 4.3pre16
15    @author Shlomy Reinstein
16*/
17public interface DockingFrameworkProvider {
18	DockableWindowManager create(View view, DockableWindowFactory instance,
19			ViewConfig config);
20	DockingLayout createDockingLayout();
21}