Finding myself in a situation where it would have been useful, I noticed that Slider has the setSliderSnapsToMousePosition method, but it lacks the corresponding “get” method to find out whether this property has been set or not.
I added it myself to my own local repository of JUCE, but I think that for completeness it should be added to the library anyway