diff options
| author | Sven Gothel <[email protected]> | 2023-12-19 17:40:17 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-12-19 17:40:17 +0100 |
| commit | feb3d34be097bcbef5ebc40342b405a832ac581f (patch) | |
| tree | 09eb2f8dbb2173d9d90438397819739c3fc3b994 /tools/jackpotc | |
| parent | eb99bfc27f9f49387cbb08471debcd4d61e4f745 (diff) | |
Bug 805: GraphUI: Add Widget 'marker' (a Group), derived by {MediaUI01 -> MediaPlayer} and new RangeSlider
- A widget specifies specific UI semantics including individual controls.
- Being a {@link Group}, implementations provide shape(s) and its instance can be added to the user's scene.
- Due to the specific nature of widgets,
individual controls/listener may be provided with semantic values.
+++
MediaPlayer exposes a RangeSlider for current position (view and control).
Diffstat (limited to 'tools/jackpotc')
0 files changed, 0 insertions, 0 deletions