UserPreferences.st
changeset 18643 dffc9ea26ca9
parent 18641 95284fb28b6b
child 18644 dc005b63c7f1
child 18689 7d2f54384c6c
--- 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
     "
 !