Package org.gjt.sp.jedit.gui
Class PanelWindowContainer
- java.lang.Object
-
- org.gjt.sp.jedit.gui.PanelWindowContainer
-
- All Implemented Interfaces:
DockableWindowContainer
,DockableWindowManager.DockingArea
public class PanelWindowContainer extends java.lang.Object implements DockableWindowContainer, DockableWindowManager.DockingArea
A container for dockable windows. This class should never be used directly.- Since:
- jEdit 4.0pre1
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
PanelWindowContainer.RotatedTextIcon
-
Constructor Summary
Constructors Constructor Description PanelWindowContainer(DockableWindowManagerImpl wm, java.lang.String position, int dimension)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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()
DockableWindowManagerImpl
getDockableWindowManager()
java.lang.String
getPosition()
boolean
isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void
register(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void
remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void
show(java.lang.String name)
void
show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void
showMostRecent()
void
unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
-
-
-
Constructor Detail
-
PanelWindowContainer
public PanelWindowContainer(DockableWindowManagerImpl wm, java.lang.String position, int dimension)
-
-
Method Detail
-
getDockableWindowManager
public DockableWindowManagerImpl getDockableWindowManager()
- Since:
- jEdit 4.3pre2
-
register
public void register(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
register
in interfaceDockableWindowContainer
-
unregister
public void unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
unregister
in interfaceDockableWindowContainer
-
remove
public void remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
remove
in interfaceDockableWindowContainer
-
showMostRecent
public void showMostRecent()
- Specified by:
showMostRecent
in interfaceDockableWindowManager.DockingArea
-
show
public void show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
show
in interfaceDockableWindowContainer
-
isVisible
public boolean isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
isVisible
in interfaceDockableWindowContainer
-
getCurrent
public java.lang.String getCurrent()
Returns the name of the dockable in this container.- Specified by:
getCurrent
in interfaceDockableWindowManager.DockingArea
- 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
-
getPosition
public java.lang.String getPosition()
- Since:
- jEdit 4.3pre2
-
getDockables
public java.lang.String[] getDockables()
- Specified by:
getDockables
in interfaceDockableWindowManager.DockingArea
-
show
public void show(java.lang.String name)
- Specified by:
show
in interfaceDockableWindowManager.DockingArea
-
-