protected class SubstanceTabbedPaneUI.TabRepaintCallback
extends org.pushingpixels.trident.callback.UIThreadTimelineCallbackAdapter
Modifier and Type | Field and Description |
---|---|
protected javax.swing.JTabbedPane |
tabbedPane
The associated tabbed pane.
|
protected int |
tabIndex
The associated tab index.
|
Constructor and Description |
---|
TabRepaintCallback(javax.swing.JTabbedPane tabPane,
int tabIndex)
Creates new tab repaint callback.
|
Modifier and Type | Method and 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 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()