getRangeSlider method

Implementation

Widget getRangeSlider(ValueNotifier<RangeValues> rangeValues,
    SliderThemeData sliderThemeData, double sliderSize) {
  final max = rangeMaxValue;
  final min = rangeMinValue;
  return Container(
    height: sliderSize + 5,
    margin: const EdgeInsets.symmetric(horizontal: 10),
    child: SliderTheme(
      data: sliderThemeData,
      child: RangeSlider(
        values: rangeValues.value,
        min: min,
        max: max,
        divisions: max.toInt(),
        labels: RangeLabels('${rangeValues.value.start.toInt()}',
            '${rangeValues.value.end.toInt()}'),
        onChanged: (RangeValues newRanges) {
          rangeValues.value = newRanges;
        },
        onChangeEnd: (RangeValues newRanges) {
          onChange([
            rangeValues.value.start.toInt(),
            rangeValues.value.end.toInt()
          ]);
        },
      ),
    ),
  );
}