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

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

#
Java | 27 lines | 16 code | 5 blank | 6 comment | 0 complexity | d29657b1cedac7a585a769605b11c03f 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/**
 9   jEdit's classic dockable window manager, turned into a "provider" service.
10   
11   @author Shlomy Reinstein
12   @since jEdit 4.3pre16
13*/   
14public class DockableWindowManagerProvider implements DockingFrameworkProvider
15{
16	public DockableWindowManager create(View view,
17			DockableWindowFactory instance, ViewConfig config)
18	{
19		return new DockableWindowManagerImpl(view, instance, config);
20	}
21
22	public DockingLayout createDockingLayout()
23	{
24		return new DockableWindowManagerImpl.DockableWindowConfig();
25	}
26
27}