Open NicoKiaru opened 4 months ago
It would be nice to have a wheel listener to the time / range slider. It's a small change which is really nice. I don't know why it's not there by default with the JSlider
Example:
https://github.com/bigdataviewer/bigdataviewer-playground/commit/56e82bd957d95b07b7e023e2012032adae0ad30a
It would be nice to have a wheel listener to the time / range slider. It's a small change which is really nice. I don't know why it's not there by default with the JSlider
Example:
https://github.com/bigdataviewer/bigdataviewer-playground/commit/56e82bd957d95b07b7e023e2012032adae0ad30a