org.pushingpixels.trident.callback.TimelineCallback
protected class SubstanceTabbedPaneUI.TabRepaintCallback
extends org.pushingpixels.trident.callback.UIThreadTimelineCallbackAdapter
Modifier and Type | Field | Description |
---|---|---|
protected JTabbedPane |
tabbedPane |
The associated tabbed pane.
|
protected int |
tabIndex |
The associated tab index.
|
Constructor | Description |
---|---|
TabRepaintCallback(JTabbedPane tabPane,
int tabIndex) |
Creates new tab repaint callback.
|
Modifier and Type | Method | Description |
---|---|---|
void |
onTimelinePulse(float durationFraction,
float timelinePosition) |
|
void |
onTimelineStateChanged(org.pushingpixels.trident.Timeline.TimelineState oldState,
org.pushingpixels.trident.Timeline.TimelineState newState,
float durationFraction,
float timelinePosition) |
|
protected void |
repaintTab() |
Repaints the relevant tab.
|
protected JTabbedPane tabbedPane
protected int tabIndex
public TabRepaintCallback(JTabbedPane tabPane, int tabIndex)
tabPane
- The associated tabbed pane.tabIndex
- The associated tab index.public void onTimelinePulse(float durationFraction, float timelinePosition)
onTimelinePulse
in interface org.pushingpixels.trident.callback.TimelineCallback
onTimelinePulse
in class org.pushingpixels.trident.callback.TimelineCallbackAdapter
public void onTimelineStateChanged(org.pushingpixels.trident.Timeline.TimelineState oldState, org.pushingpixels.trident.Timeline.TimelineState newState, float durationFraction, float timelinePosition)
onTimelineStateChanged
in interface org.pushingpixels.trident.callback.TimelineCallback
onTimelineStateChanged
in class org.pushingpixels.trident.callback.TimelineCallbackAdapter
protected void repaintTab()