|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbibliothek.gui.DockFrontend.DockInfo
private class DockFrontend.DockInfo
Information about a Dockable
.
Field Summary | |
---|---|
private Dockable |
dockable
The element for which information is stored |
private boolean |
hideable
true if the element has a "close"-action, false otherwise |
private boolean |
hideActionVisible
Whether the hide-action is currently visible or not |
private java.lang.String |
key
The name of the element |
private DockableProperty |
location
The location of dockable on the station named root |
private java.lang.String |
root
The name of the root on which dockable was, when it was made invisible |
private DefaultDockActionSource |
source
The DockActionSource which is used for dockable |
Constructor Summary | |
---|---|
DockFrontend.DockInfo(Dockable dockable,
java.lang.String key)
Creates a new DockInfo. |
Method Summary | |
---|---|
Dockable |
getDockable()
The element for which this object stores information. |
java.lang.String |
getKey()
The name which is used for this object. |
DockableProperty |
getLocation()
Gets the location of the element which it had
the last time it was made invisible. |
java.lang.String |
getRoot()
Gets the name of the station on which the element
was the last time when it was made invisible. |
DefaultDockActionSource |
getSource()
Gets the DockActionSource which will be added to the offers
of the element . |
boolean |
isHideable()
Tells whether to show a "close"-action for the dockable
or not. |
void |
setHideable(boolean hideable)
Sets whether the element can be made
invisible or not. |
void |
setLocation(java.lang.String root,
DockableProperty location)
Sets the location of the element . |
void |
updateHideAction()
Updates the visibility-state of the hide action |
void |
updateLocation()
Updates the values of root and location
according to the current location of the element . |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private Dockable dockable
private java.lang.String key
private boolean hideable
true
if the element has a "close"-action, false
otherwise
private DefaultDockActionSource source
DockActionSource
which is used for dockable
private java.lang.String root
dockable
was, when it was made invisible
private DockableProperty location
dockable
on the station named root
private boolean hideActionVisible
Constructor Detail |
---|
public DockFrontend.DockInfo(Dockable dockable, java.lang.String key)
dockable
- the element whose informations are storedkey
- the name of the elementMethod Detail |
---|
public boolean isHideable()
dockable
or not.
true
if the element can be made invisible.public void setHideable(boolean hideable)
the element
can be made
invisible or not.
hideable
- the new statepublic void updateHideAction()
public DefaultDockActionSource getSource()
DockActionSource
which will be added to the offers
of the element
.
public Dockable getDockable()
public java.lang.String getKey()
public void updateLocation()
root
and location
according to the current location of the element
.
public void setLocation(java.lang.String root, DockableProperty location)
the element
. Note that this
just stores the location, no effect will be visible for the user.
root
- the root, might be null
location
- the location, might be null
public java.lang.String getRoot()
the element
was the last time when it was made invisible.
null
updateLocation()
public DockableProperty getLocation()
the element
which it had
the last time it was made invisible.
null
updateLocation()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |