PageRenderTime 42ms CodeModel.GetById 19ms RepoModel.GetById 0ms app.codeStats 0ms

/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
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. 

  2. 

    3. 

  3. import org.gjt.sp.jedit.View;

    4. 

  4. import org.gjt.sp.jedit.View.ViewConfig;

    5. 

  5. import org.gjt.sp.jedit.gui.DockableWindowManager.DockingLayout;

    6. 

  6. 

    7. 

  7. 

    8. 

  8. /**

    9. 

  9.    jEdit's classic dockable window manager, turned into a "provider" service.

    10. 

  10.    

    11. 

  11.    @author Shlomy Reinstein

    12. 

  12.    @since jEdit 4.3pre16

    13. 

  13. */   

    14. 

  14. public class DockableWindowManagerProvider implements DockingFrameworkProvider

    15. 

  15. {

    16. 

  16. 	public DockableWindowManager create(View view,

    17. 

  17. 			DockableWindowFactory instance, ViewConfig config)

    18. 

  18. 	{

    19. 

  19. 		return new DockableWindowManagerImpl(view, instance, config);

    20. 

  20. 	}

    21. 

  21. 

    22. 

  22. 	public DockingLayout createDockingLayout()

    23. 

  23. 	{

    24. 

  24. 		return new DockableWindowManagerImpl.DockableWindowConfig();

    25. 

  25. 	}

    26. 

  26. 

    27. 

  27. }

    28. 

  28.