slider property

A custom slider widget for the filter editor.

This widget allows users to adjust values using a slider in the filter editor.

  • editorState - The current state of the editor.
  • rebuildStream - A Stream that triggers the widget to rebuild.
  • value - The current value of the slider.
  • onChanged - A function to handle changes to the slider's value.
  • onChangeEnd - A function to handle the end of slider value changes.

Returns a ReactiveCustomWidget that provides a custom slider.

Example: slider: (editorState, rebuildStream, value, onChanged, onChangeEnd) { return ReactiveCustomWidget( stream: rebuildStream, builder: (_) => Slider( onChanged: onChanged, onChangeEnd: onChangeEnd, value: value, activeColor: Colors.blue.shade200, ), ); },

Implementation

final CustomSlider<FilterEditorState>? slider;