|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object bibliothek.gui.dock.dockable.AbstractDockable bibliothek.gui.dock.station.AbstractDockableStation bibliothek.gui.dock.StackDockStation
public class StackDockStation
On this station, only one of many children is visible. The other children
are hidden behind the visible child. There are some buttons where the
user can choose which child is visible. This station behaves like
a JTabbedPane
.
This station tries to register a DockTitleFactory
to its
DockController
with the key TITLE_ID
.
Nested Class Summary | |
---|---|
protected class |
StackDockStation.Background
This panel is used as base of the station. |
static class |
StackDockStation.Insert
Describes the gap between two tabs. |
protected class |
StackDockStation.StackDropOperation
Custom implementation of StationDropOperation . |
Field Summary | |
---|---|
static PropertyKey<StackDockComponentFactory> |
COMPONENT_FACTORY
Key used to read the current StackDockComponentFactory |
static String |
DISPLAYER_ID
This id is forwarded to Extension s which load additional DisplayerFactory s |
static PropertyKey<Boolean> |
IMMUTABLE_SELECTION_INDEX
If set to true , then dropping a Dockable onto a StackDockStation won't
change the currently selected item.This property does not prevent the FocusController from changing the focus, and updating the focus
may lead to changing the selected index anyway. |
static PropertyKey<TabConfigurations> |
TAB_CONFIGURATIONS
Allows fine tuning of the look and behavior of tabs. |
static PropertyKey<TabContentFilter> |
TAB_CONTENT_FILTER
Key for setting the TabContentFilter |
static PropertyKey<TabPlacement> |
TAB_PLACEMENT
Key for setting the side at which the tabs appear in relation to the selected dockable |
static String |
TITLE_ID
The id of the titlefactory which is used by this station |
Fields inherited from class bibliothek.gui.dock.station.AbstractDockableStation |
---|
listeners |
Constructor Summary | |
---|---|
|
StackDockStation()
Constructs a new StackDockStation |
|
StackDockStation(DockTheme theme)
Constructs a new station and sets the theme. |
protected |
StackDockStation(DockTheme theme,
boolean init)
Creates a new station. |
Method Summary | |
---|---|
void |
add(Dockable dockable,
int index)
Adds a child to this station at the location index . |
protected void |
add(Dockable dockable,
int index,
Path placeholder)
Adds a child to this station at the location index . |
void |
addMouseInputListener(MouseInputListener listener)
Adds a listener to this representative, it is not defined what to do with that listener, but most subclasses would just add the listener to their component . |
protected void |
addToPanel(StationChildHandle handle,
int index,
int size)
Adds the contents of handle to the stackComponent of this station. |
protected void |
callDockUiUpdateTheme()
Calls the method DockUI .DockUI.updateTheme(DockStation, DockFactory)
with this as the first argument, and an appropriate factory
as the second argument. |
boolean |
canDrag(Dockable dockable)
Tells whether dockable can be removed from this station or not. |
boolean |
canReplace(Dockable old,
Dockable next)
Tells whether its possible to replace the child old
with next where next is not a child of this station. |
void |
configureDisplayerHints(DockableDisplayerHints hints)
Orders this Dockable to configure hints which will
be used by the parent component of this element. |
protected StackDockStation.Background |
createBackground()
Creates the panel onto which this station will lay its children. |
protected StackDockComponent |
createStackDockComponent()
Creates the StackDockComponent which will be shown on
this station if the station has more then one child.This method is called directly by the constructor. |
protected void |
discard(DockableDisplayer displayer)
Replaces displayer with a new instance. |
void |
drag(Dockable dockable)
Removes a child from this station. |
void |
drop(Dockable dockable)
Adds dockable to this station. |
void |
drop(Dockable dockable,
boolean autoPlaceholder)
Adds dockable to this station. |
boolean |
drop(Dockable dockable,
DockableProperty property)
Tries to add dockable to this station such that the location
given by property is matched. |
boolean |
drop(Dockable dockable,
StackDockProperty property)
Adds a new child to this station, and tries to match the property
as good as possible. |
protected StackDockStation.Insert |
exactTabIndexAt(int x,
int y)
Gets the gap which is selected when the mouse is at x/y. |
protected void |
fireDockableSelected()
Informs all DockStationListener s that the selected element of this station changed. |
Component |
getComponent()
Gets the Component which represents the element . |
DefaultDisplayerFactoryValue |
getDisplayerFactory()
Gets a DisplayerFactory which is used to create new
DockableDisplayer for this station. |
DisplayerCollection |
getDisplayers()
Gets the set of displayers used on this station. |
Dockable |
getDockable(int index)
Gets the index'th child of this station. |
int |
getDockableCount()
Gets the number of children. |
DockableProperty |
getDockableProperty(Dockable dockable,
Dockable target)
Gets precise information about the location of a child of this station. |
String |
getFactoryID()
Gets the unique name of the DockFactory which can read
and write elements of this type. |
Dockable |
getFrontDockable()
Gets the favorite child of this station. |
StackDockStation.Insert |
getInsert()
Gets the location where StationDropOperation.execute() will insert the next
Dockable . |
DockStationDropLayer[] |
getLayers()
Gets a description of all the areas of the screen where this DockStation can handle a drop event.Everytime the mouse is moved or released during a drag & drop operation, this method is called for all DockStation s. |
DefaultStationPaintValue |
getPaint()
Gets a StationPaint which is used to paint some lines onto
this station. |
PlaceholderMap |
getPlaceholders()
Gets a snapshot of all placeholders that are currently stored in this DockStation . |
PlaceholderMap |
getPlaceholders(Map<Dockable,Integer> children)
Gets the placeholders of this station using a PlaceholderListItemConverter to
encode the children of this station. |
PlaceholderStrategy |
getPlaceholderStrategy()
Gets the PlaceholderStrategy that is currently in use. |
StackDockComponent |
getStackComponent()
Gets the currently used StackDockComponent |
StackDockComponentFactory |
getStackComponentFactory()
Gets the factory which is used to create a StackDockComponent . |
DockStation |
getStackDockParent()
Gets the station this parent represents. |
TabContentFilter |
getTabContentFilter()
Gets the filter that tells this station how to set the content of the tabs. |
TabPlacement |
getTabPlacement()
Gets the location where tabs are currently placed. |
int |
indexOf(Dockable dockable)
Gets the index of a child. |
protected void |
init()
Initializes the fields of this object, has to be called exactly once. |
protected void |
insertionLine(Rectangle left,
Rectangle right,
Point a,
Point b,
boolean leftImportant)
When dropping or moving a Dockable , a line has to be painted
between two tabs. |
boolean |
isOverTabs(int x,
int y)
Tells whether the point x/y on the screen is exactly over a tab. |
boolean |
isOverTitle(int x,
int y)
Tells whether the point x/y on the screen is exactly over the only
DockTitle currently shown by this station. |
boolean |
isSmallMinimumSize()
Tells whether the result of Component.getMinimumSize() should be small. |
boolean |
isStationVisible()
Tells whether this station is visible or not. |
boolean |
isVisible(Dockable dockable)
Tells whether the child dockable is visible or not. |
void |
move(Dockable dockable,
DockableProperty property)
Tries to move the child dockable in such a way, that
DockStation.getDockableProperty(Dockable, Dockable) would return a
DockableProperty that equals property .There is no need to give a guarantee that the move successes, and clients should always be prepared for the possibility that this DockStation
does nothing at all. |
StationDragOperation |
prepareDrag(Dockable dockable)
Informs this station that a drag and drop operation is in progress and that dockable might
be removed from this station. |
StationDropOperation |
prepareDrop(StationDropItem item)
Prepares this station to get the new child dockable or to move around the known child dockable . |
StationDropOperation |
prepareMove(StationDropItem item)
|
void |
remove(int index)
Removes the child of location index .Note: clients may need to invoke DockController.freezeLayout()
and DockController.meltLayout() to ensure noone else adds or
removes Dockable s. |
void |
removeMouseInputListener(MouseInputListener listener)
Removes a listener from this representative. |
void |
replace(Dockable old,
Dockable next)
Replaces the child old by next which is
not yet a child of this station. |
void |
replace(Dockable old,
Dockable next,
boolean station)
|
void |
replace(DockStation old,
Dockable next)
Replaces the child old by next which is
not yet a child of this station. |
void |
setController(DockController controller)
Sets the controller in whose realm this Dockable is. |
void |
setDockParent(DockStation station)
Sets the parent property. |
void |
setFrontDockable(Dockable dockable)
Sets the most important child. |
void |
setPlaceholders(PlaceholderMap placeholders)
Sets an earlier snapshot of the placeholders of this station. |
void |
setPlaceholders(PlaceholderMap placeholders,
Map<Integer,Dockable> children)
Sets all placeholders and children of this station. |
void |
setPlaceholderStrategy(PlaceholderStrategy strategy)
Sets the PlaceholderStrategy to use, null will set
the default strategy. |
void |
setSmallMinimumSize(boolean smallMinimumSize)
Sets whether the result of Component.getMinimumSize() should be small. |
void |
setStackComponent(StackDockComponent stackComponent)
Sets the StackDockComponent which should be used by this
station. |
void |
setStackComponentFactory(StackDockComponentFactory factory)
Sets the factory which will be used to create a StackDockComponent
for this station. |
void |
setTabContentFilter(TabContentFilter filter)
Sets the filter that tells this station how to set the content of the tabs. |
void |
setTabPlacement(TabPlacement placement)
Tells this station where to put the tabs. |
protected boolean |
singleTabStackDockComponent()
Tells whether this station should show its StackDockComponent even if it
has only one child. |
protected StackDockStation.Insert |
tabIndexAt(int x,
int y)
Tells which gap (between tabs) is chosen if the mouse has the coordinates x/y. |
protected void |
updateConfigurableDisplayerHints()
Updates the displayer hints
of this station. |
Methods inherited from class bibliothek.gui.dock.station.AbstractDockableStation |
---|
accept, acceptable, acceptable, addDockStationListener, asDockStation, changed, createTitleIcon, fireDockablesRepositioned, fireDockablesRepositioned, getDirectActionOffers, getIndirectActionOffers, getTheme, isChildShowing, isStationShowing, removeDockStationListener, requestChildDisplayer, requestChildDockTitle, updateTheme |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface bibliothek.gui.DockStation |
---|
getController |
Methods inherited from interface bibliothek.gui.dock.DockElement |
---|
asDockable |
Field Detail |
---|
public static final String TITLE_ID
public static final String DISPLAYER_ID
Extension
s which load additional DisplayerFactory
s
public static final PropertyKey<StackDockComponentFactory> COMPONENT_FACTORY
StackDockComponentFactory
public static final PropertyKey<TabPlacement> TAB_PLACEMENT
public static final PropertyKey<TabContentFilter> TAB_CONTENT_FILTER
TabContentFilter
public static final PropertyKey<Boolean> IMMUTABLE_SELECTION_INDEX
true
, then dropping a Dockable
onto a StackDockStation
won't
change the currently selected item.FocusController
from changing the focus, and updating the focus
may lead to changing the selected index anyway. Clients using this property might also need to
implement a FocusVetoListener
and add it to the FocusController
.
public static final PropertyKey<TabConfigurations> TAB_CONFIGURATIONS
Constructor Detail |
---|
public StackDockStation()
public StackDockStation(DockTheme theme)
theme
- the theme of the station, may be null
protected StackDockStation(DockTheme theme, boolean init)
theme
- the theme of this station, can be null
init
- true
if the fields of this object should
be initialized, false
otherwise. If false
,
then the subclass has to call init()
exactly once.Method Detail |
---|
protected void init()
protected StackDockStation.Background createBackground()
protected StackDockComponent createStackDockComponent()
StackDockComponent
which will be shown on
this station if the station has more then one child.
public DockStation getStackDockParent()
StackDockComponentParent
getStackDockParent
in interface StackDockComponentParent
public void setTabPlacement(TabPlacement placement)
placement
- the side or null
to use the default valuepublic TabPlacement getTabPlacement()
public void setTabContentFilter(TabContentFilter filter)
filter
- the filter, can be null
public TabContentFilter getTabContentFilter()
null
protected boolean singleTabStackDockComponent()
StackDockComponent
even if it
has only one child. This property may only be changed if the StackDockComponent
is exchanged as well.
true
if the StackDockComponent
is to be always shownpublic void setStackComponent(StackDockComponent stackComponent)
StackDockComponent
which should be used by this
station. The component is shown when this station has more then
one child. Note that the stackComponent
depends also
on the property COMPONENT_FACTORY
, and will be automatically
exchanged if that property changes. Clients should use
setStackComponentFactory(StackDockComponentFactory)
if they
want to exchange the component permanently.
stackComponent
- the new component
IllegalArgumentException
- if stackComponent
is null
public StackDockComponent getStackComponent()
StackDockComponent
setStackComponent(StackDockComponent)
public void setStackComponentFactory(StackDockComponentFactory factory)
StackDockComponent
for this station.
factory
- the new factory, can be null
if the default-factory
should be usedpublic StackDockComponentFactory getStackComponentFactory()
StackDockComponent
.
This method returns null
if no factory was set through
setStackComponentFactory(StackDockComponentFactory)
.
null
protected void callDockUiUpdateTheme() throws IOException
AbstractDockableStation
DockUI
.DockUI.updateTheme(DockStation, DockFactory)
with this
as the first argument, and an appropriate factory
as the second argument.
callDockUiUpdateTheme
in class AbstractDockableStation
IOException
- if the DockUI throws an exceptionpublic void setDockParent(DockStation station)
Dockable
station
.DockHierarchyEvent
.DockHierarchyObserver
, invoke
DockHierarchyObserver.update()
after the
property has changed, it will automatically fire a DockHierarchyEvent
if necessary.
setDockParent
in interface Dockable
setDockParent
in class AbstractDockable
station
- the parent, may be null
if this Dockable
is not visible at all.public void setController(DockController controller)
Dockable
null
means that this Dockable
is not managed by a controller.DockHierarchyListener
s about the change.DockHierarchyObserver
, invoke
DockHierarchyObserver.controllerChanged(DockController)
setController
in interface Dockable
setController
in interface DockStation
setController
in class AbstractDockable
controller
- the owner, may be null
public DefaultStationPaintValue getPaint()
StationPaint
which is used to paint some lines onto
this station. Use a delegate
to exchange the paint.
public DefaultDisplayerFactoryValue getDisplayerFactory()
DisplayerFactory
which is used to create new
DockableDisplayer
for this station. Use a
delegate
to exchange the factory.
public DisplayerCollection getDisplayers()
displayers
used on this station.
public boolean isStationVisible()
DockStation
JFrame
is not visible if the frame is minimized.
isStationVisible
in interface DockStation
isStationVisible
in class AbstractDockableStation
public boolean isVisible(Dockable dockable)
DockStation
dockable
is visible or not. Visible
means that the component
of dockable
can be seen by the user. The result must be false
if
this station is not visible.
isVisible
in interface DockStation
isVisible
in class AbstractDockableStation
dockable
- the child whose visibility-state is questioned
dockable
is visible or notDockStation.isStationVisible()
public int getDockableCount()
DockStation
getDockableCount
in interface DockStation
public Dockable getDockable(int index)
DockStation
getDockable
in interface DockStation
index
- a value between 0 (incl.) and DockStation.getDockableCount()
(excl.).
public DockableProperty getDockableProperty(Dockable dockable, Dockable target)
DockStation
DockStation.drop(Dockable, DockableProperty)
.
getDockableProperty
in interface DockStation
dockable
- a child of this station, this childs location is askedtarget
- an optional hint telling for which dockable the location information
will be used, can be null
. This hint can be used to find a placeholder
that should be part of the result.
DockUtilities.getPropertyChain(DockStation, Dockable)
public Dockable getFrontDockable()
DockStation
null
indicates that there are no children
at all, or that there is no favorite child (all children are equal important).DockController.setFocusedDockable(Dockable, boolean)
which will then call DockStation.setFrontDockable(Dockable)
. Note that the
DockController itself listens to the DockTitles, and maybe the station
doesn't need a logic to decide which child is important.
getFrontDockable
in interface DockStation
null
public void setFrontDockable(Dockable dockable)
DockStation
DockStation.getFrontDockable()
how stations can change
this property.
setFrontDockable
in interface DockStation
dockable
- the new favorite child, can be null
DockStation.getFrontDockable()
protected void fireDockableSelected()
DockStationListener
s that the selected element of this station changed.
This method only fires if there really is a change, hence it can be safely called multiple times.
public int indexOf(Dockable dockable)
indexOf
in interface StackDockComponentParent
dockable
- the child which is searched
dockable
or -1 if it was not foundpublic PlaceholderMap getPlaceholders()
DockStation
DockStation
.
A DockStation
is free in the format it chooses to fill the map. The map is to be
created with the assumptions that DockStation.getDockableCount()
is 0
, meaning
any existing Dockable
gets replaced by its placeholder. The current
PlaceholderStrategy
should be used to convert Dockable
s to placeholders.
getPlaceholders
in interface DockStation
null
if this station does not support
placeholderspublic void setPlaceholders(PlaceholderMap placeholders)
DockStation
DockStation.getDockableCount()
is 0
).placeholders
.
setPlaceholders
in interface DockStation
placeholders
- some set of placeholderspublic PlaceholderMap getPlaceholders(Map<Dockable,Integer> children)
PlaceholderListItemConverter
to
encode the children of this station. To be exact, the converter puts the following
parameters for each Dockable
into the map:
children
children
- a unique identifier for each child of this station
public void setPlaceholders(PlaceholderMap placeholders, Map<Integer,Dockable> children)
placeholders
- the new children and placeholderschildren
- map to convert items to Dockable
s
IllegalStateException
- if there are still children on this stationpublic PlaceholderStrategy getPlaceholderStrategy()
PlaceholderStrategy
that is currently in use.
null
public void setPlaceholderStrategy(PlaceholderStrategy strategy)
PlaceholderStrategy
to use, null
will set
the default strategy.
strategy
- the new strategy, can be null
public void setSmallMinimumSize(boolean smallMinimumSize)
Component.getMinimumSize()
should be small. A small value
allows clients to make this StackDockStation
small if it is on a SplitDockStation
or another station
that pays attention to the minimum size. This even works if the Dockable
s do not have a small minimum size.
smallMinimumSize
- whether the minimum size should be really smallpublic boolean isSmallMinimumSize()
Component.getMinimumSize()
should be small.
setSmallMinimumSize(boolean)
public DockStationDropLayer[] getLayers()
DockStation
DockStation
can handle a drop event.DockStation
s. The returned DockStationDropLayer
s are then filtered and ordered, the resulting
order defines the order in which the method DockStation.prepareDrop(StationDropItem)
is called.
getLayers
in interface DockStation
getLayers
in class AbstractDockableStation
null
, must not contain null
,
must not contain the same entry twice. The array or the DockStationDropLayer
s may be modified,
hence this method should always create new objects.public boolean isOverTabs(int x, int y)
x/y
on the screen is exactly over a tab.
x
- the x-coordinate on the screeny
- the y-coordinate on the screen
true
if the point is directly over a tabpublic boolean isOverTitle(int x, int y)
x/y
on the screen is exactly over the only
DockTitle
currently shown by this station. This method always returns
false
if this station has not exactly one child.
x
- the x-coordinate on the screeny
- the y-coordinate on the screen
true
if the point is directly over the titlepublic StationDropOperation prepareMove(StationDropItem item)
public StationDropOperation prepareDrop(StationDropItem item)
DockStation
dockable
or to move around the known child dockable
.
The station can refuse dockable
, in this case this method just returns null
.
There are some constraints:
DockStation.accept(Dockable)
and Dockable.accept(DockStation)
or Dockable.accept(DockStation, Dockable)
to ensure that the desired
drop-location is valid.DockAcceptance
of its controller
(see DockController.getAcceptance()
) to ensure that the drop/location is valid.
prepareDrop
in interface DockStation
item
- information about the dockable that is going to be dropped
Dockable
can be dropped or null
if
no drop operation is possiblepublic StationDragOperation prepareDrag(Dockable dockable)
DockStation
dockable
might
be removed from this station.
prepareDrag
in interface DockStation
dockable
- the child that might be removed in the near future
null
public void drop(Dockable dockable)
DockStation
dockable
to this station. The station can decide
by its own where to put dockable
.
drop
in interface DockStation
dockable
- a new childpublic void drop(Dockable dockable, boolean autoPlaceholder)
dockable
to this station.
dockable
- the element to dropautoPlaceholder
- whether the PlaceholderStrategy
can be invoked to search for a matching placeholderpublic boolean drop(Dockable dockable, DockableProperty property)
DockStation
dockable
to this station such that the location
given by property
is matched. If property
has a successor
and points to
another station, just call the drop
-method of this
child-station. Note that property
can be of any type and
contain invalid information.
drop
in interface DockStation
dockable
- the new childproperty
- the location of the child, may be invalid data
true
if property
could be read
and dockable
was dropped, false
otherwise.public boolean drop(Dockable dockable, StackDockProperty property)
property
as good as possible.
dockable
- the new childproperty
- the preferred location of the child
true
if the child could be added, false
if the child couldn't be addedpublic StackDockStation.Insert getInsert()
StationDropOperation.execute()
will insert the next
Dockable
.
null
public void move(Dockable dockable, DockableProperty property)
DockStation
dockable
in such a way, that
DockStation.getDockableProperty(Dockable, Dockable)
would return a
DockableProperty
that equals property
.DockStation
does nothing at all.
move
in interface DockStation
dockable
- a child of this stationproperty
- the preferred position of dockable
protected StackDockStation.Insert tabIndexAt(int x, int y)
x
- x-coordinate in the system of this stationy
- y-coordinate in the system of this station
protected StackDockStation.Insert exactTabIndexAt(int x, int y)
x
- x-coordinate in the system of this stationy
- y-coordinate in the system of this station
null
if no tab is
under x/ypublic boolean canDrag(Dockable dockable)
DockStation
dockable
can be removed from this station or not.
This method assumes that dockable
is a child of
this station, if not, then the behavior of this method is unspecified.
canDrag
in interface DockStation
dockable
- a child of this station
true
if dockable
can be draggedpublic void drag(Dockable dockable)
DockStation
DockStation.canDrag(Dockable)
returned false
.DockController.freezeLayout()
and DockController.meltLayout()
to ensure noone else adds or
removes Dockable
s.
drag
in interface DockStation
dockable
- the child to removepublic boolean canReplace(Dockable old, Dockable next)
DockStation
old
with next
where next is not a child of this station.
canReplace
in interface DockStation
old
- a child of this stationnext
- the replacement of next
.
true
if the replacement is possiblepublic void replace(DockStation old, Dockable next)
DockStation
old
by next
which is
not yet a child of this station. This method should not be
called if canReplace
returned
false
. This method can assume that next
was
a child of old
but no longer is.
replace
in interface DockStation
old
- a dockable station that is a child of this stationnext
- the replacement of old
public void replace(Dockable old, Dockable next)
DockStation
old
by next
which is
not yet a child of this station. This method should not be
called if canReplace
returned
false
.
replace
in interface DockStation
old
- a childnext
- the replacement of old
public void replace(Dockable old, Dockable next, boolean station)
public void add(Dockable dockable, int index)
index
.
dockable
- the new childindex
- the preferred location of the new childprotected void add(Dockable dockable, int index, Path placeholder)
index
.
dockable
- the new childindex
- the preferred location of the new childplaceholder
- the preferred location of the new child, can be null
protected void addToPanel(StationChildHandle handle, int index, int size)
handle
to the stackComponent
of this station. The new
handle
may or may not already be stored in dockables
.
handle
- the handle to addindex
- the index where to add the handlesize
- the current amount of children of the panel, must be either the size of dockables
if
handle
is not yet stored or the size of dockables
-1 is handle
already is
stored.protected void discard(DockableDisplayer displayer)
displayer
with a new instance.
displayer
- the displayer to replacepublic void remove(int index)
index
.DockController.freezeLayout()
and DockController.meltLayout()
to ensure noone else adds or
removes Dockable
s.
index
- the location of the child which will be removedpublic Component getComponent()
DockElementRepresentative
Component
which represents the element
.
The result of this method must not change.
getComponent
in interface DockElementRepresentative
getComponent
in interface Dockable
null
public void configureDisplayerHints(DockableDisplayerHints hints)
Dockable
Dockable
to configure hints
which will
be used by the parent component of this element. This Dockable
can store a reference to hints
and use it to change the
hints whenever it is appropriate. This method will be called with null
if the link should be broken.
configureDisplayerHints
in interface Dockable
configureDisplayerHints
in class AbstractDockable
hints
- the hints to configure or null
if the last
hints
should no longer be configured by this elementprotected void updateConfigurableDisplayerHints()
displayer hints
of this station.
public void addMouseInputListener(MouseInputListener listener)
DockElementRepresentative
component
. It is valid to do nothing.
addMouseInputListener
in interface DockElementRepresentative
addMouseInputListener
in interface Dockable
addMouseInputListener
in class AbstractDockable
listener
- the new listenerpublic void removeMouseInputListener(MouseInputListener listener)
DockElementRepresentative
removeMouseInputListener
in interface DockElementRepresentative
removeMouseInputListener
in interface Dockable
removeMouseInputListener
in class AbstractDockable
listener
- the listener to removepublic String getFactoryID()
DockElement
DockFactory
which can read
and write elements of this type.
getFactoryID
in interface DockElement
protected void insertionLine(Rectangle left, Rectangle right, Point a, Point b, boolean leftImportant)
Dockable
, a line has to be painted
between two tabs. This method determines the exact location of that line.
left
- the bounds of the tab left to the line, might be null
if
leftImportant
is false
.right
- the bounds of the tab right to the line, might be null
if
leftImportant
is true
.a
- the first point of the line, should be used as output of this methodb
- the second point of the line, should be used as output of this methodleftImportant
- true
if the mouse is over the left tab, false
if the mouse is over the right tab.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |