PageRenderTime 30ms CodeModel.GetById 9ms RepoModel.GetById 0ms 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
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  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. /** Base interface for Docking Framework Provider services.
  6. Plugins can offer alternate docking frameworks by offering a service
  7. that creates an instance of one of these.
  8. For an example, see jEdit's own services.xml, which provides jEdit's classic
  9. docking framework via the class DockableWindowManagerProvider.
  10. @since jEdit 4.3pre16
  11. @author Shlomy Reinstein
  12. */
  13. public interface DockingFrameworkProvider {
  14. DockableWindowManager create(View view, DockableWindowFactory instance,
  15. ViewConfig config);
  16. DockingLayout createDockingLayout();
  17. }