From 2bd66b50f21fd21e2102ac75cf4ce6cf875aca4d Mon Sep 17 00:00:00 2001
From: Sven Göthel <sgothel@jausoft.com>
Date: Mon, 15 Jan 2024 11:02:09 +0100
Subject: 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.
---
src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java')
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));
--
cgit v1.2.3