public interface FrontendEntry
Dockable
that might be registered
at a DockFrontend
.Modifier and Type | Method and Description |
---|---|
Dockable |
getDockable()
The element for which this object stores information.
|
java.lang.String |
getKey()
The name which is used for this object.
|
DockLayoutComposition |
getLayout()
Gets information about the layout of this element.
|
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. |
boolean |
isEntryLayout()
If set, then every entry
Setting can change the layout
of this element. |
boolean |
isHideable()
Tells whether to show a "close"-action for the
dockable
or not. |
boolean |
isShown()
Tells whether this infos dockable should be shown.
|
void |
setEntryLayout(boolean entryLayout)
If set, then every entry
Setting can change the layout
of this element. |
void |
setHideable(boolean hideable)
Sets whether
the element can be made
invisible or not. |
void |
setLayout(DockLayoutComposition layout)
Sets information about the layout of this element.
|
void |
setLocation(java.lang.String root,
DockableProperty location)
Sets the location of
the element . |
void |
setShown(boolean shown)
Sets whether the dockable of this entry should be shown or not.
|
void |
updateLocation()
|
void setShown(boolean shown)
shown
- whether the element should be shownboolean isShown()
boolean isEntryLayout()
Setting
can change the layout
of this element.true
if the layout of this element should be
stored always.void setEntryLayout(boolean entryLayout)
Setting
can change the layout
of this element.entryLayout
- if the layout of this element should be
stored always.boolean isHideable()
dockable
or not.true
if the element can be made invisible.void setHideable(boolean hideable)
the element
can be made
invisible or not. This method will have an immediate effect.hideable
- the new stateDockable getDockable()
null
java.lang.String getKey()
void setLocation(java.lang.String root, DockableProperty location)
the element
. Note that this
method will have no effect if the dockable is currently shown.root
- the root, might be null
location
- the location, might be null
java.lang.String getRoot()
the element
was the last time when it was made invisible.null
DockableProperty getLocation()
the element
which it had
the last time it was made invisible.null
void setLayout(DockLayoutComposition layout)
layout
- the layout, can be null
DockLayoutComposition getLayout()
null
void updateLocation()