diff options
author | Sven Göthel <[email protected]> | 2024-01-15 11:02:09 +0100 |
---|---|---|
committer | Sven Göthel <[email protected]> | 2024-01-15 11:02:09 +0100 |
commit | 2bd66b50f21fd21e2102ac75cf4ce6cf875aca4d (patch) | |
tree | 4e8a332f2eed9fe2e1554180dea3f52e1eb080a7 /src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | |
parent | 31ef5df9c5868b2b8e4ce843a4bf0a6c3f5a9879 (diff) |
GraphUI Shape: Add receiveKeyEvents() and receiveMouseEvents() allowing a Shape to receive forwarded events from another Shape; Added receive*Events() specialisation for RangeSlider
Forwarding events from shape to shape is useful, allowing inner shapes to send them to its group,
which itself may send it out towards an outer widget like RangeSlider.
RangeSlider's receive*Events() specialisation receives desired events from the source to its barAndKnob and knob
shapes, which are listening. It also suppresses the mouseClicked() event as it is only useful coming from itself.
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 fadb3e1b2..4c5a6d1f0 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java +++ b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java @@ -255,7 +255,7 @@ public class MediaPlayer extends Widget { } } } ); - ctrlSlider.addListener(new SliderAdapter() { + ctrlSlider.addSliderListener(new SliderAdapter() { private void seekPlayer(final int ptsMS) { final int durationMS = mPlayer.getDuration(); timeLabel.setText(getMultilineTime(ptsMS, durationMS)); |