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