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 classPanelWindowContainer.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.StringgetCurrent()Returns the name of the dockable in this container.intgetDimension()Returns the width or height (depending on position) of the dockable window container.java.lang.String[]getDockables()DockableWindowManagerImplgetDockableWindowManager()java.lang.StringgetPosition()booleanisVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)voidregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)voidremove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)voidshow(java.lang.String name)voidshow(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)voidshowMostRecent()voidunregister(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:
registerin interfaceDockableWindowContainer
-
unregister
public void unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
unregisterin interfaceDockableWindowContainer
-
remove
public void remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
removein interfaceDockableWindowContainer
-
showMostRecent
public void showMostRecent()
- Specified by:
showMostRecentin interfaceDockableWindowManager.DockingArea
-
show
public void show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
showin interfaceDockableWindowContainer
-
isVisible
public boolean isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
- Specified by:
isVisiblein interfaceDockableWindowContainer
-
getCurrent
public java.lang.String getCurrent()
Returns the name of the dockable in this container.- Specified by:
getCurrentin 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:
getDockablesin interfaceDockableWindowManager.DockingArea
-
show
public void show(java.lang.String name)
- Specified by:
showin interfaceDockableWindowManager.DockingArea
-
-