/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
- package org.gjt.sp.jedit.gui;
-
- import org.gjt.sp.jedit.View;
- import org.gjt.sp.jedit.View.ViewConfig;
- import org.gjt.sp.jedit.gui.DockableWindowManager.DockingLayout;
-
-
- /**
- jEdit's classic dockable window manager, turned into a "provider" service.
-
- @author Shlomy Reinstein
- @since jEdit 4.3pre16
- */
- public class DockableWindowManagerProvider implements DockingFrameworkProvider
- {
- public DockableWindowManager create(View view,
- DockableWindowFactory instance, ViewConfig config)
- {
- return new DockableWindowManagerImpl(view, instance, config);
- }
-
- public DockingLayout createDockingLayout()
- {
- return new DockableWindowManagerImpl.DockableWindowConfig();
- }
-
- }