public interface BorderManager
DefaultDockingPort
class to manage border state after docking and
undocking operations. This class is necessary because
DefaultDockingPort
is a DockingPort
implementation that uses
nested Components
to achieve a docking layout. Particularly,
DefaultDockingPort
uses JSplitPane
and JTabbedPane
,
each of which have their own Borders
provided by the currently
installed PLAF. Nesting these Components
within one another without
proper border management can result in a compound border effect that is
displeasing to the eye. This class provides a means by which custom border
management behavior may be plugged into the DefaultDockingPort
in
response to various different layout conditions.Modifier and Type | Method and Description |
---|---|
void |
managePortNullChild(DockingPort port)
Callback method allowing for customized behavior when the
DefaultDockingPort's docked component state has changed and there
is no longer a component docked within the port. |
void |
managePortSimpleChild(DockingPort port)
Callback method allowing for customized behavior when the
DefaultDockingPort's docked component state has changed and there
is a single generic component docked within the port. |
void |
managePortSplitChild(DockingPort port)
Callback method allowing for customized behavior when the
DefaultDockingPort's docked component state has changed and the
port has been split between two components. |
void |
managePortTabbedChild(DockingPort port)
Callback method allowing for customized behavior when the
DefaultDockingPort's docked component state has changed and
docked components within the CENTER region are layed-out within a
JTabbedPane . |
void managePortNullChild(DockingPort port)
DefaultDockingPort's
docked component state has changed and there
is no longer a component docked within the port.port
- the DockingPort
whose layout borders are to be managedvoid managePortSimpleChild(DockingPort port)
DefaultDockingPort's
docked component state has changed and there
is a single generic component docked within the port. The
Component
may be retrieved by calling
port.getDockedComponent()
.port
- the DockingPort
whose layout borders are to be managedvoid managePortSplitChild(DockingPort port)
DefaultDockingPort's
docked component state has changed and the
port has been split between two components. The JSPlitPane
may be
retrieved by calling port.getDockedComponent()
.port
- the DockingPort
whose layout borders are to be managedvoid managePortTabbedChild(DockingPort port)
DefaultDockingPort's
docked component state has changed and
docked components within the CENTER
region are layed-out within a
JTabbedPane
. The JTabbedPane
may be retrieved by calling
port.getDockedComponent()
.port
- the DockingPort
whose layout borders are to be managed