public class EclipseDockTitleEvent extends ActivityDockTitleEvent
DockTitleTab
to its
DockTitle
to indicate that some properties, normally not
used by a DockTitle
, have changed.Constructor and Description |
---|
EclipseDockTitleEvent(DockStation station,
Dockable dockable,
boolean selected,
boolean focused,
boolean paintIconWhenInactive)
Creates a new event
|
Modifier and Type | Method and Description |
---|---|
boolean |
isFocused()
Tells whether the tab which fired this event is focused.
|
boolean |
isPaintIconWhenInactive()
Tells whether icons should be painted when the tab is not selected.
|
boolean |
isSelected()
Tells whether the tab which fired this event is selected.
|
isActive, isPreferred, setPreferred
getDockable, getStation
public EclipseDockTitleEvent(DockStation station, Dockable dockable, boolean selected, boolean focused, boolean paintIconWhenInactive)
station
- the station on which the tab lies, might be null
dockable
- the element for which the tab is shownselected
- whether the tab is selectedfocused
- whether the tab is focusedpaintIconWhenInactive
- whether to paint icons when the tab is
not selectedpublic boolean isSelected()
public boolean isFocused()
public boolean isPaintIconWhenInactive()
true
if icons should always be painted