Streamlit: Prevent the filter frequency range select-slider knobs from touching

[GNiklasch]

Bandwidth-filtering the raw data does not work when the lower and upper frequency limits coincide.

Currently it is possible for the user to request such a zero-width frequency range by moving either knob of the relevant select-slider on top of the other. This will result in an error message in the filtered-data section of the view area.

And currently (as of Streamlit 1.21.0) it is not possible to prevent this from within the application code. It would need to be prevented within the Streamlit browser-side React frontend.

• Raise a feature-request to Streamlit to make this possible.
• Pick up the functionality if/when implemented by Streamlit.