Module jEdit

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 Object
implements DockableWindowContainer, DockableWindowManager.DockingArea

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

Since:

jEdit 4.0pre1

Version:

$Id: PanelWindowContainer.java 25051 2020-03-28 17:27:53Z kpouer $

Author:

Slava Pestov

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PanelWindowContainer.RotatedTextIcon

Constructor Summary

Constructors

Constructor	Description
PanelWindowContainer(DockableWindowManagerImpl wm, String position, int dimension)

Method Summary

Modifier and Type	Method	Description
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.
String[]	getDockables()
DockableWindowManagerImpl	getDockableWindowManager()
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(String name)
void	show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)
void	showMostRecent()
void	unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PanelWindowContainer

public PanelWindowContainer(DockableWindowManagerImpl wm,
 String position,
 int dimension)

Method Details

getDockableWindowManager

public DockableWindowManagerImpl getDockableWindowManager()

Since:

jEdit 4.3pre2

register

public void register(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Specified by:

register in interface DockableWindowContainer

unregister

public void unregister(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Specified by:

unregister in interface DockableWindowContainer

remove

public void remove(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Specified by:

remove in interface DockableWindowContainer

showMostRecent

public void showMostRecent()

Specified by:

showMostRecent in interface DockableWindowManager.DockingArea

show

public void show(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Specified by:

show in interface DockableWindowContainer

isVisible

public boolean isVisible(org.gjt.sp.jedit.gui.DockableWindowManagerImpl.Entry entry)

Specified by:

isVisible in interface DockableWindowContainer

getCurrent

public String getCurrent()

Returns the name of the dockable in this container.

Specified by:

getCurrent in interface DockableWindowManager.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 String getPosition()

Since:

jEdit 4.3pre2

getDockables

public String[] getDockables()

Specified by:

getDockables in interface DockableWindowManager.DockingArea

show

public void show(String name)

Specified by:

show in interface DockableWindowManager.DockingArea