/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
- 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 Docking Framework Provider services.
- Plugins can offer alternate docking frameworks 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();
- }