GraphUI RangeSlider/RangedGroup: Fix overall integration, adding more API comments; UIMediaGrid01 now uses RangedGroup

RangeSlider
- Fix pageSize, i.e. allow valid content.getBounds() be pending @ validateImpl()

- Clip value [0, maximum - pageSize]

- Has to use Float.isFinite() to capture both, NaN and Infinity
-- used for pageSize, determining whether slider uses pageSize rect-knob or position round-knob
-- used for minMax, val, val_pct and temp range + pageSize_pct
-- don't overwrite valid pageSize if leading to !isFinite()

- Reuse setKnobSize() for ctor as well, where padding is be done once (FIXME?)

- Tested via RangedGroup w/ UIMediaGrid01 and FontView0
-- vertical slider, inverse and !inverse

0 files changed, 0 insertions, 0 deletions