org.pushingpixels.trident.callback.TimelineCallbackprotected 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.TimelineCallbackonTimelinePulse in class org.pushingpixels.trident.callback.TimelineCallbackAdapterpublic 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.TimelineCallbackonTimelineStateChanged in class org.pushingpixels.trident.callback.TimelineCallbackAdapterprotected void repaintTab()