diff options
author | Sven Gothel <[email protected]> | 2023-05-09 06:48:29 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2023-05-09 06:48:29 +0200 |
commit | 9a7b9768e2e018a33ca44a170f372fee84c26a27 (patch) | |
tree | 3ef3d454dd318dadd84ce4de41546620aecff933 /src/graphui/classes/com | |
parent | 72a8c2a524a7af1f3db5102c666a65644b95e08a (diff) |
GLMediaPlayer: Replace GLMediaEventListener.EVENT_CHANGE_* 'int event_mask' with EventMask.Bit/EventMask
Diffstat (limited to 'src/graphui/classes/com')
-rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/shapes/MediaButton.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/graphui/classes/com/jogamp/graph/ui/shapes/MediaButton.java b/src/graphui/classes/com/jogamp/graph/ui/shapes/MediaButton.java index c6a0bf99c..9461b3c83 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/shapes/MediaButton.java +++ b/src/graphui/classes/com/jogamp/graph/ui/shapes/MediaButton.java @@ -91,18 +91,18 @@ public class MediaButton extends TexSeqButton { } @Override - public void attributesChanged(final GLMediaPlayer mp, final int event_mask, final long when) { + public void attributesChanged(final GLMediaPlayer mp, final GLMediaPlayer.EventMask eventMask, final long when) { if( verbose ) { - System.err.println("MediaButton AttributesChanges: events_mask 0x"+Integer.toHexString(event_mask)+", when "+when); + System.err.println("MediaButton AttributesChanges: "+eventMask+", when "+when); System.err.println("MediaButton State: "+mp); } - if( 0 != ( GLMediaEventListener.EVENT_CHANGE_INIT & event_mask ) ) { + if( eventMask.isSet(GLMediaPlayer.EventMask.Bit.Init) ) { resetGL = true; } - if( 0 != ( GLMediaEventListener.EVENT_CHANGE_SIZE & event_mask ) ) { + if( eventMask.isSet(GLMediaPlayer.EventMask.Bit.Size) ) { // FIXME: mPlayer.resetGLState(); } - if( 0 != ( GLMediaEventListener.EVENT_CHANGE_EOS & event_mask ) ) { + if( eventMask.isSet(GLMediaPlayer.EventMask.Bit.EOS) ) { new InterruptSource.Thread() { @Override public void run() { @@ -110,7 +110,7 @@ public class MediaButton extends TexSeqButton { mp.seek(0); mp.resume(); } }.start(); - } else if( 0 != ( GLMediaEventListener.EVENT_CHANGE_ERR & event_mask ) ) { + } else if( eventMask.isSet(GLMediaPlayer.EventMask.Bit.Error) ) { final StreamException se = mp.getStreamException(); if( null != se ) { se.printStackTrace(); |