aboutsummaryrefslogtreecommitdiffstats
path: root/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java
diff options
context:
space:
mode:
authorSven Göthel <[email protected]>2024-01-15 11:02:09 +0100
committerSven Göthel <[email protected]>2024-01-15 11:02:09 +0100
commit2bd66b50f21fd21e2102ac75cf4ce6cf875aca4d (patch)
tree4e8a332f2eed9fe2e1554180dea3f52e1eb080a7 /src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java
parent31ef5df9c5868b2b8e4ce843a4bf0a6c3f5a9879 (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.java2
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));