diff options
author | Sven Göthel <[email protected]> | 2024-02-07 03:25:27 +0100 |
---|---|---|
committer | Sven Göthel <[email protected]> | 2024-02-07 03:25:27 +0100 |
commit | 29697eaac78bdc0c1a6cfb8547516c614dc1db8e (patch) | |
tree | c3fc6ca20df251aa150022c7b519d6a12f0053dc /src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | |
parent | 5bacb8e6887b55ab2053dc5ed76bebcc0743a45e (diff) |
GraphUI Shape: Add MouseEvent to MoveListener; RangeSlider: Add rel obj position + NEWT MouseEvent to listener, renamed {Slider->Change}Listener and add PeekListener for mouse-over events
Diffstat (limited to 'src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java')
-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 4495570e2..7a0fed0fb 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java +++ b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java @@ -304,7 +304,7 @@ public class MediaPlayer extends Widget { } } } ); - ctrlSlider.addSliderListener((final RangeSlider w, final float old_val, final float val, final float old_val_pct, final float val_pct) -> { + ctrlSlider.addChangeListener((final RangeSlider w, final float old_val, final float val, final float old_val_pct, final float val_pct, final Vec3f pos, final MouseEvent e) -> { if( DEBUG ) { System.err.println("Dragged "+w.getName()+": "+PTS.toTimeStr(Math.round(val), true)+"ms, "+(val_pct*100f)+"%"); System.err.println("Slider.D "+ctrlSlider.getDescription()); |