svoid rangeSliderSetZeroToOneDoubleRange(RangeSlider slider, int max, DoubleRange r) {
  if (slider != null && r != null) swing {
    slider.setValues(iround(r.start*max), iround(r.end*max));
  }
}