diff options
| author | Sven Göthel <[email protected]> | 2024-01-27 03:16:52 +0100 |
|---|---|---|
| committer | Sven Göthel <[email protected]> | 2024-01-27 03:16:52 +0100 |
| commit | a8e382bf6ebc7d405ef2479dae97762d9b7e2967 (patch) | |
| tree | dfca3ab533d87f8463e3a8eac3a0a8b47808d7e1 /src/jogl/classes | |
| parent | 68ca5b14966cb7eec9501c17dc8b3b465421a68e (diff) | |
GraphUI MediaPlayer: seek from display-thread, don't act on SliderAdapter.clicked() as dragged is always called
Diffstat (limited to 'src/jogl/classes')
| -rw-r--r-- | src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java index bceb3cca5..0525f7f17 100644 --- a/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java +++ b/src/jogl/classes/jogamp/opengl/util/av/GLMediaPlayerImpl.java @@ -508,15 +508,15 @@ public abstract class GLMediaPlayerImpl implements GLMediaPlayer { case Paused: final State _state = state; setState( State.Paused ); - if( null != streamWorker ) { - streamWorker.pause(true); - } // Adjust target .. if( msec >= duration ) { msec = duration - (int)Math.floor(frame_duration); } else if( msec < 0 ) { msec = 0; } + if( null != streamWorker ) { + streamWorker.pause(true); + } pts1 = seekImpl(msec); resetAVPTSAndFlush(false); if( null != audioSink && State.Playing == _state ) { |