|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectbibliothek.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 Extensions which load additional DisplayerFactorys |
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 DockStationListeners 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 DockStations. |
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 Dockables. |
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
Extensions which load additional DisplayerFactorys
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 nullinit - 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 StackDockComponentParentpublic 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 nullpublic TabContentFilter getTabContentFilter()
nullprotected 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 nullpublic 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
AbstractDockableStationDockUI.DockUI.updateTheme(DockStation, DockFactory)
with this as the first argument, and an appropriate factory
as the second argument.
callDockUiUpdateTheme in class AbstractDockableStationIOException - if the DockUI throws an exceptionpublic void setDockParent(DockStation station)
Dockablestation.DockHierarchyEvent.DockHierarchyObserver, invoke
DockHierarchyObserver.update() after the
property has changed, it will automatically fire a DockHierarchyEvent if necessary.
setDockParent in interface DockablesetDockParent in class AbstractDockablestation - the parent, may be null if this Dockable is not visible at all.public void setController(DockController controller)
Dockablenull
means that this Dockable is not managed by a controller.DockHierarchyListeners about the change.DockHierarchyObserver, invoke
DockHierarchyObserver.controllerChanged(DockController)
setController in interface DockablesetController in interface DockStationsetController in class AbstractDockablecontroller - the owner, may be nullpublic 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()
DockStationJFrame is not visible if the frame is minimized.
isStationVisible in interface DockStationisStationVisible in class AbstractDockableStationpublic boolean isVisible(Dockable dockable)
DockStationdockable 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 DockStationisVisible in class AbstractDockableStationdockable - the child whose visibility-state is questioned
dockable is visible or notDockStation.isStationVisible()public int getDockableCount()
DockStation
getDockableCount in interface DockStationpublic Dockable getDockable(int index)
DockStation
getDockable in interface DockStationindex - a value between 0 (incl.) and DockStation.getDockableCount()
(excl.).
public DockableProperty getDockableProperty(Dockable dockable,
Dockable target)
DockStationDockStation.drop(Dockable, DockableProperty).
getDockableProperty in interface DockStationdockable - 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()
DockStationnull 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 DockStationnullpublic void setFrontDockable(Dockable dockable)
DockStationDockStation.getFrontDockable() how stations can change
this property.
setFrontDockable in interface DockStationdockable - the new favorite child, can be nullDockStation.getFrontDockable()protected void fireDockableSelected()
DockStationListeners 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 StackDockComponentParentdockable - the child which is searched
dockable or -1 if it was not foundpublic PlaceholderMap getPlaceholders()
DockStationDockStation.
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 Dockables to placeholders.
getPlaceholders in interface DockStationnull if this station does not support
placeholderspublic void setPlaceholders(PlaceholderMap placeholders)
DockStationDockStation.getDockableCount() is 0).placeholders.
setPlaceholders in interface DockStationplaceholders - 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 Dockables
IllegalStateException - if there are still children on this stationpublic PlaceholderStrategy getPlaceholderStrategy()
PlaceholderStrategy that is currently in use.
nullpublic void setPlaceholderStrategy(PlaceholderStrategy strategy)
PlaceholderStrategy to use, null will set
the default strategy.
strategy - the new strategy, can be nullpublic 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 Dockables 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()
DockStationDockStation can handle a drop event.DockStations. The returned DockStationDropLayers are then filtered and ordered, the resulting
order defines the order in which the method DockStation.prepareDrop(StationDropItem) is called.
getLayers in interface DockStationgetLayers in class AbstractDockableStationnull, must not contain null,
must not contain the same entry twice. The array or the DockStationDropLayers 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 tab
public 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)
DockStationdockable 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 DockStationitem - 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)
DockStationdockable might
be removed from this station.
prepareDrag in interface DockStationdockable - the child that might be removed in the near future
nullpublic void drop(Dockable dockable)
DockStationdockable to this station. The station can decide
by its own where to put dockable.
drop in interface DockStationdockable - a new child
public 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 placeholder
public boolean drop(Dockable dockable,
DockableProperty property)
DockStationdockable 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 DockStationdockable - 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)
DockStationdockable in such a way, that
DockStation.getDockableProperty(Dockable, Dockable) would return a
DockableProperty that equals property.DockStation
does nothing at all.
move in interface DockStationdockable - 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)
DockStationdockable 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 DockStationdockable - a child of this station
true if dockable can be draggedpublic void drag(Dockable dockable)
DockStationDockStation.canDrag(Dockable) returned false.DockController.freezeLayout()
and DockController.meltLayout() to ensure noone else adds or
removes Dockables.
drag in interface DockStationdockable - the child to remove
public boolean canReplace(Dockable old,
Dockable next)
DockStationold
with next where next is not a child of this station.
canReplace in interface DockStationold - a child of this stationnext - the replacement of next.
true if the replacement is possible
public void replace(DockStation old,
Dockable next)
DockStationold 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 DockStationold - a dockable station that is a child of this stationnext - the replacement of old
public void replace(Dockable old,
Dockable next)
DockStationold by next which is
not yet a child of this station. This method should not be
called if canReplace returned
false.
replace in interface DockStationold - 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 child
protected 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 Dockables.
index - the location of the child which will be removedpublic Component getComponent()
DockElementRepresentativeComponent which represents the element.
The result of this method must not change.
getComponent in interface DockElementRepresentativegetComponent in interface Dockablenullpublic void configureDisplayerHints(DockableDisplayerHints hints)
DockableDockable 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 DockableconfigureDisplayerHints in class AbstractDockablehints - 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)
DockElementRepresentativecomponent. It is valid to do nothing.
addMouseInputListener in interface DockElementRepresentativeaddMouseInputListener in interface DockableaddMouseInputListener in class AbstractDockablelistener - the new listenerpublic void removeMouseInputListener(MouseInputListener listener)
DockElementRepresentative
removeMouseInputListener in interface DockElementRepresentativeremoveMouseInputListener in interface DockableremoveMouseInputListener in class AbstractDockablelistener - the listener to removepublic String getFactoryID()
DockElementDockFactory 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 | |||||||||