Package org.flexdock.docking.defaults
Interface BorderManager
- All Known Implementing Classes:
StandardBorderManager
public interface BorderManager
This interface provides a set of methods used by the
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.- Author:
- Chris Butler
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and there is no longer a component docked within the port.void
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and there is a single generic component docked within the port.void
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and the port has been split between two components.void
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and docked components within theCENTER
region are layed-out within aJTabbedPane
.
-
Method Details
-
managePortNullChild
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and there is no longer a component docked within the port.- Parameters:
port
- theDockingPort
whose layout borders are to be managed
-
managePortSimpleChild
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and there is a single generic component docked within the port. TheComponent
may be retrieved by callingport.getDockedComponent()
.- Parameters:
port
- theDockingPort
whose layout borders are to be managed
-
managePortSplitChild
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and the port has been split between two components. TheJSPlitPane
may be retrieved by callingport.getDockedComponent()
.- Parameters:
port
- theDockingPort
whose layout borders are to be managed
-
managePortTabbedChild
Callback method allowing for customized behavior when theDefaultDockingPort's
docked component state has changed and docked components within theCENTER
region are layed-out within aJTabbedPane
. TheJTabbedPane
may be retrieved by callingport.getDockedComponent()
.- Parameters:
port
- theDockingPort
whose layout borders are to be managed
-