/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

  1. package org.gjt.sp.jedit.gui;
  2. import org.gjt.sp.jedit.View;
  3. import org.gjt.sp.jedit.View.ViewConfig;
  4. import org.gjt.sp.jedit.gui.DockableWindowManager.DockingLayout;
  5. /**
  6. jEdit's classic dockable window manager, turned into a "provider" service.
  7. @author Shlomy Reinstein
  8. @since jEdit 4.3pre16
  9. */
  10. public class DockableWindowManagerProvider implements DockingFrameworkProvider
  11. {
  12. public DockableWindowManager create(View view,
  13. DockableWindowFactory instance, ViewConfig config)
  14. {
  15. return new DockableWindowManagerImpl(view, instance, config);
  16. }
  17. public DockingLayout createDockingLayout()
  18. {
  19. return new DockableWindowManagerImpl.DockableWindowConfig();
  20. }
  21. }