[Openflipper] Moving sliders using keys does not trigger updates

Hi, I noticed that whenever a slider (e.g. the one in the 'Slice' plugin) is moved using the arrow keys or page up/down keys, it doesn't trigger updates. This probably means that the sliderMoved() signal is used instead of the valueChanged() signal, which does react to both mouse and key input. Is the use of sliderMoved() a deliberate choice? Thanks, Pieter