protected class SubstanceTabbedPaneUI.TabRepaintCallback
extends org.pushingpixels.trident.callback.UIThreadTimelineCallbackAdapter
| Modifier and Type | Field | Description |
|---|---|---|
protected javax.swing.JTabbedPane |
tabbedPane |
The associated tabbed pane.
|
protected int |
tabIndex |
The associated tab index.
|
| Constructor | Description |
|---|---|
TabRepaintCallback(javax.swing.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 javax.swing.JTabbedPane tabbedPane
protected int tabIndex
public TabRepaintCallback(javax.swing.JTabbedPane tabPane,
int tabIndex)
tabPane - The associated tabbed pane.tabIndex - The associated tab index.public void onTimelinePulse(float durationFraction,
float timelinePosition)
onTimelinePulse 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 class org.pushingpixels.trident.callback.TimelineCallbackAdapterprotected void repaintTab()