PageRenderTime 34ms CodeModel.GetById 10ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/gui/DockableWindowContainer.java

#
Java | 44 lines | 16 code | 3 blank | 25 comment | 0 complexity | aaff96796460008f6fdf7395b2378968 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. /*
    2. 

  2.  * DockableWindowContainer.java - holds dockable windows
    3. 

  3.  * Copyright (C) 2000 Slava Pestov
    4. 

  4.  *
    5. 

  5.  * This program is free software; you can redistribute it and/or
    6. 

  6.  * modify it under the terms of the GNU General Public License
    7. 

  7.  * as published by the Free Software Foundation; either version 2
    8. 

  8.  * of the License, or any later version.
    9. 

  9.  *
    10. 

  10.  * This program is distributed in the hope that it will be useful,
    11. 

  11.  * but WITHOUT ANY WARRANTY; without even the implied warranty of
    12. 

  12.  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    13. 

  13.  * GNU General Public License for more details.
    14. 

  14.  *
    15. 

  15.  * You should have received a copy of the GNU General Public License
    16. 

  16.  * along with this program; if not, write to the Free Software
    17. 

  17.  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
    18. 

  18.  */
    19. 

  19. 

  20. package org.gjt.sp.jedit.gui;
    21. 

  21. 

  22. import javax.swing.border.*;
    23. 

  23. import javax.swing.*;
    24. 

  24. import java.awt.event.*;
    25. 

  25. import java.awt.image.*;
    26. 

  26. import java.awt.*;
    27. 

  27. import org.gjt.sp.jedit.*;
    28. 

  28. 

  29. /**
    30. 

  30.  * A container for dockable windows. This class should never be used
    31. 

  31.  * directly.
    32. 

  32.  * @author Slava Pestov
    33. 

  33.  * @version $Id: DockableWindowContainer.java 3819 2001-09-27 09:23:00Z spestov $
    34. 

  34.  * @since jEdit 2.6pre3
    35. 

  35.  */
    36. 

  36. public interface DockableWindowContainer
    37. 

  37. {
    38. 

  38. 	void register(DockableWindowManager.Entry entry);
    39. 

  39. 	void add(DockableWindowManager.Entry entry);
    40. 

  40. 	void remove(DockableWindowManager.Entry entry);
    41. 

  41. 	void save(DockableWindowManager.Entry entry);
    42. 

  42. 	void show(DockableWindowManager.Entry entry);
    43. 

  43. 	boolean isVisible(DockableWindowManager.Entry entry);
    44. 

  44. }
    45. 

  45.