diff options
author | Sven Göthel <[email protected]> | 2024-02-05 16:44:57 +0100 |
---|---|---|
committer | Sven Göthel <[email protected]> | 2024-02-05 16:44:57 +0100 |
commit | 80f226fffcab51f8e46caa48e9dd3a134ca87dd0 (patch) | |
tree | 0c6e490dde337205b4b32088fcc33071dd48da92 /src | |
parent | 6ec212e0348fc9028e2afc6a298c49890566bf2d (diff) |
GraphUI MediaPlayer: Elevate the ctrlSlider a little (and add it behind ctrlBlend) to remove the occlusion by the blending box
Diffstat (limited to 'src')
-rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | 4 |
1 files changed, 3 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 31ba5305f..4495570e2 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java +++ b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java @@ -148,6 +148,7 @@ public class MediaPlayer extends Widget { ctrlSlider.getBar().setColor(0.3f, 0.3f, 0.3f, 0.7f); ctrlSlider.getKnob().setColor(0.6f, 0.6f, 1f, 1f); ctrlSlider.setActiveKnobColorMod(new Vec4f(0.1f, 0.1f, 1, 1)); + ctrlSlider.move(0, 0, zEpsilon); } ctrlSlider.setName("mp.slider"); @@ -321,13 +322,14 @@ public class MediaPlayer extends Widget { } ); } }); - this.addShape( ctrlSlider.setVisible(false) ); ctrlBlend = new Rectangle(renderModes & ~Region.AA_RENDERING_MASK, aratio, ctrlCellHeight, 0); ctrlBlend.setName("ctrl.blend").setInteractive(false); ctrlBlend.setColor(0, 0, 0, AlphaBlend); this.addShape( ctrlBlend.setVisible(false) ); + this.addShape( ctrlSlider.setVisible(false) ); + final float toolTipScaleY = 0.4f; ctrlGroup = new Group(new GridLayout(ctrlCellWidth, ctrlCellHeight, Alignment.FillCenter, Gap.None, 1)); ctrlGroup.setName("ctrlGroup").setInteractive(false); |