static JSlider doubleRangeLiveValueSlider(final SimpleLiveValue<DoubleRange> lv) {
  ret rangeSliderZeroToOne(lv!, voidfunc(DoubleRange r) { lv.set(r) });
}