DockingFrameworkProvider.java

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;


/** Base interface for the Docking Framework Provider service.
  *
  *  Plugins such as MyDoggy can offer an alternate docking framework
  *  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
  *  @author Shlomy Reinstein
  */
public interface DockingFrameworkProvider {
	DockableWindowManager create(View view, DockableWindowFactory instance,
			ViewConfig config);
	DockingLayout createDockingLayout();
}