Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.gjt.sp.jedit.gui
Class PanelWindowContainer  view PanelWindowContainer download PanelWindowContainer.java

java.lang.Object
  extended byorg.gjt.sp.jedit.gui.PanelWindowContainer
All Implemented Interfaces:
DockableWindowContainer

public class PanelWindowContainer
extends java.lang.Object
implements DockableWindowContainer

A container for dockable windows. This class should never be used directly.

Since:
jEdit 4.0pre1
Version:
$Id: PanelWindowContainer.java,v 1.71 2003/06/11 01:15:32 spestov Exp $

Nested Class Summary
(package private)  class PanelWindowContainer.ActionHandler
           
(package private)  class PanelWindowContainer.ButtonLayout
           
(package private)  class PanelWindowContainer.DockablePanel
           
(package private) static class PanelWindowContainer.DockableWindowCompare
           
(package private) static class PanelWindowContainer.DockBorder
           
(package private)  class PanelWindowContainer.MenuMouseHandler
           
static class PanelWindowContainer.RotatedTextIcon
           
 
Field Summary
private  javax.swing.ButtonGroup buttonGroup
           
(package private)  javax.swing.JPanel buttonPanel
           
private  java.util.ArrayList buttons
           
private  javax.swing.JButton closeBox
           
private  DockableWindowManager.Entry current
           
private  int dimension
           
(package private)  PanelWindowContainer.DockablePanel dockablePanel
           
private  java.util.ArrayList dockables
           
private  javax.swing.JButton menuBtn
           
private  java.lang.String mostRecent
           
private  javax.swing.JToggleButton nullButton
           
private  javax.swing.JPopupMenu popup
           
private  java.lang.String position
           
(package private) static int SPLITTER_WIDTH
           
private  DockableWindowManager wm
           
 
Constructor Summary
PanelWindowContainer(DockableWindowManager wm, java.lang.String position, int dimension)
           
 
Method Summary
 java.lang.String getCurrent()
          Returns the name of the dockable in this container.
 int getDimension()
          Returns the width or height (depending on position) of the dockable window container.
 java.lang.String[] getDockables()
           
 boolean isVisible(DockableWindowManager.Entry entry)
           
 void register(DockableWindowManager.Entry entry)
           
 void remove(DockableWindowManager.Entry entry)
           
(package private)  void save()
           
(package private)  void setDimension(int dimension)
           
 void show(DockableWindowManager.Entry entry)
           
 void showMostRecent()
           
(package private)  void sortDockables()
           
 void unregister(DockableWindowManager.Entry entry)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SPLITTER_WIDTH

static final int SPLITTER_WIDTH
See Also:
Constant Field Values

dockablePanel

PanelWindowContainer.DockablePanel dockablePanel

buttonPanel

javax.swing.JPanel buttonPanel

wm

private DockableWindowManager wm

position

private java.lang.String position

closeBox

private javax.swing.JButton closeBox

menuBtn

private javax.swing.JButton menuBtn

buttonGroup

private javax.swing.ButtonGroup buttonGroup

nullButton

private javax.swing.JToggleButton nullButton

dimension

private int dimension

dockables

private java.util.ArrayList dockables

buttons

private java.util.ArrayList buttons

current

private DockableWindowManager.Entry current

popup

private javax.swing.JPopupMenu popup

mostRecent

private java.lang.String mostRecent
Constructor Detail

PanelWindowContainer

public PanelWindowContainer(DockableWindowManager wm,
                            java.lang.String position,
                            int dimension)
Method Detail

register

public void register(DockableWindowManager.Entry entry)
Specified by:
register in interface DockableWindowContainer

unregister

public void unregister(DockableWindowManager.Entry entry)
Specified by:
unregister in interface DockableWindowContainer

remove

public void remove(DockableWindowManager.Entry entry)
Specified by:
remove in interface DockableWindowContainer

showMostRecent

public void showMostRecent()

show

public void show(DockableWindowManager.Entry entry)
Specified by:
show in interface DockableWindowContainer

isVisible

public boolean isVisible(DockableWindowManager.Entry entry)
Specified by:
isVisible in interface DockableWindowContainer

getCurrent

public java.lang.String getCurrent()
Returns the name of the dockable in this container.

Since:
jEdit 4.2pre1

getDimension

public int getDimension()
Returns the width or height (depending on position) of the dockable window container.

Since:
jEdit 4.2pre1

getDockables

public java.lang.String[] getDockables()

save

void save()

setDimension

void setDimension(int dimension)

sortDockables

void sortDockables()