public interface SplitDividerStrategy
SplitDividerStrategy
is responsible for resizing the children of a SplitDockStation
. How exactly
a SplitDividerStrategy
accomplishes that goal is not defined, but usually that involves:
MouseListener
and a MouseMotionListener
to the Component
that is given during the
installation
.SplitDockStation.getRoot()
and SplitNode.getDividerNode(int, int)
to find the Node
that
is below the mouse.Node.getDividerAt(int, int)
and Node.setDivider(double)
the strategy can resize
the children.SplitDockStation.getCurrentSplitLayoutManager()
and SplitLayoutManager.validateDivider(SplitDockStation, double, Node)
a strategy
can make sure that a valid value for the divider property is chosen.Cursor
, or a strategy
may not do anything at all.SplitDockStation.isResizingEnabled()
: whether the user is allowed to resize the children.SplitDockStation.isContinousDisplay()
: whether resizing should happen immediately.Modifier and Type | Method and Description |
---|---|
void |
install(SplitDockStation station,
Component container)
Informs this strategy that
station is going to use it and that container must
be monitored in order to receive MouseEvent s. |
void |
paint(SplitDockStation station,
Graphics g)
Allows this strategy to paint onto the
SplitDockStation . |
void |
uninstall(SplitDockStation station)
Informs this strategy that it will no longer be used by
station . |
void install(SplitDockStation station, Component container)
station
is going to use it and that container
must
be monitored in order to receive MouseEvent
s.station
- the station whose children are resized by this strategycontainer
- the component to monitorvoid uninstall(SplitDockStation station)
station
.station
- the station that is no longer using this
void paint(SplitDockStation station, Graphics g)
SplitDockStation
.station
- the station which is paintedg
- the graphics context to use