diff options
author | Sven Göthel <[email protected]> | 2024-01-07 21:20:02 +0100 |
---|---|---|
committer | Sven Göthel <[email protected]> | 2024-01-07 21:20:02 +0100 |
commit | c2452b211dc3f347dbffaac4e6c35b3c3e8c6d65 (patch) | |
tree | 9a0f6b2a196cbdcbca9dbe0ce19bb77bfad16b2a /src/graphui/classes/com/jogamp/graph/ui/widgets | |
parent | d80762bdaf79a852cde2391479bb066968ae573c (diff) |
GraphUI Button.setLabelColor(..): Add alpha channel and variant w/ Vec4f for flexibility
Diffstat (limited to 'src/graphui/classes/com/jogamp/graph/ui/widgets')
-rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java index 0ceb9aaa9..2cde62668 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java +++ b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java @@ -233,7 +233,7 @@ public class MediaPlayer extends Widget { getMultilineTime(Clock.currentMillis(), mPlayer), CtrlButtonWidth, CtrlButtonHeight, zEpsilon); timeLabel.setName("mp.time"); timeLabel.setPerp().setColor(CtrlCellCol); - timeLabel.setLabelColor(1, 1, 1); + timeLabel.setLabelColor(1, 1, 1, 1.0f); } scene.addGLEventListener(new GLEventAdapter() { long t0 = 0; |