diff options
author | Sven Göthel <[email protected]> | 2024-01-12 05:36:38 +0100 |
---|---|---|
committer | Sven Göthel <[email protected]> | 2024-01-12 05:36:38 +0100 |
commit | fa0703fda03f34468c9c8645a52d13536c366991 (patch) | |
tree | 1cf4e80abff8e51f72f5daffdbd4767710ddebfc /src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java | |
parent | 4bc55e2f2e3603b43d6fdcb9786c61e32a64327f (diff) |
GraphUI RangeSlider: Add unitSize param: Size of one unit (element) in sliding direction
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.java | 2 |
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 ee594144a..63a04c0d5 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java +++ b/src/graphui/classes/com/jogamp/graph/ui/widgets/MediaPlayer.java @@ -133,7 +133,7 @@ public class MediaPlayer extends Widget { { final float knobScale = 3f; final float knobHeight = ctrlSliderHeight * knobScale; - ctrlSlider = new RangeSlider(renderModes, new Vec2f(aratio - knobHeight, ctrlSliderHeight), knobScale, new Vec2f(0, 100), 0); + ctrlSlider = new RangeSlider(renderModes, new Vec2f(aratio - knobHeight, ctrlSliderHeight), knobScale, new Vec2f(0, 100), 1, 0); final float dx = knobHeight / 2f; final float dy = ( knobHeight - ctrlSliderHeight ) * 0.5f; ctrlSlider.setPaddding(new Padding(0, dx, ctrlCellHeight-dy, dx)); |