--- a/UserPreferences.st Sat Jul 25 21:06:59 2015 +0200
+++ b/UserPreferences.st Fri Jul 31 21:14:12 2015 +0200
@@ -1988,12 +1988,16 @@
mouseWheelScale:aNumber
"if set, mouse wheel motions are scaled by this number"
- self at:#mouseWheelScale put:[ aNumber ]
+ self at:#mouseWheelScale put:aNumber.
+ WindowSensor mouseWheelScale:aNumber.
"
UserPreferences current mouseWheelScale
+ UserPreferences current mouseWheelScale:0.25
UserPreferences current mouseWheelScale:0.5
UserPreferences current mouseWheelScale:1
+
+ WindowSensor mouseWheelScale
"
!