Ctrl click on Sliders

[tomczak]

Ctrl or Ctrl-Shift clicks on either side of the slider's marker adjust is by 4 or 1 pixels respectively. Double-click returns marker to its default position. But when holding Ctrl and clicking too fast, the slider thinks it is being double clicked on and returns the marker to its default position.

[jsachs]

Fixed for next release.