Package com.jogamp.graph.ui.widgets
-
Interface Summary Interface Description RangeSlider.ChangeListener RangeSlider
slider value changed listenerRangeSlider.PeekListener RangeSlider
slider value peek listener -
Class Summary Class Description MediaPlayer Media playerWidget
, embedding aMediaButton
and its controls.RangedGroup RangedGroup
Widget
, displaying a clipped contentGroup
with optional horizontal and/or verticalRangeSlider
.RangedGroup.SliderParam RangeSlider
configuration parameter forRangedGroup
.RangeSlider RangeSliderWidget
either utilizing a simple positional round knob or a rectangular page-sized knob.Widget A widget specifies specific UI semantics including individual controls.