|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.gui
Class PanelWindowContainer

java.lang.Objectorg.gjt.sp.jedit.gui.PanelWindowContainer
- All Implemented Interfaces:
- DockableWindowContainer
- public class PanelWindowContainer
- extends java.lang.Object
- implements DockableWindowContainer
- extends java.lang.Object
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:
registerin interfaceDockableWindowContainer
unregister
public void unregister(DockableWindowManager.Entry entry)
- Specified by:
unregisterin interfaceDockableWindowContainer
remove
public void remove(DockableWindowManager.Entry entry)
- Specified by:
removein interfaceDockableWindowContainer
showMostRecent
public void showMostRecent()
show
public void show(DockableWindowManager.Entry entry)
- Specified by:
showin interfaceDockableWindowContainer
isVisible
public boolean isVisible(DockableWindowManager.Entry entry)
- Specified by:
isVisiblein interfaceDockableWindowContainer
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()
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ gui overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.gjt.sp.jedit.gui.PanelWindowContainer