aaronfreed
commented
4 months ago I would add the additional suggestion of allowing users to click the number and manually input a value with arbitrary levels of precision – thus, if I decide I want exactly .0625 as my mouse precision, I can input that. I agree with truncating the slider value otherwise.
(This suggestion might bump the difficulty up to Normal, and I’m fine making it a stretch goal.)
Many sliders in the UI, particularly the horizontal and vertical sensitivity, exhibit the "arbitrary precision problem". The granularity should be reduced to at least one pixel per stop, the decimal value truncated to one or two places, and the truncated value be what is recorded in the preferences.