--- a/UserPreferences.st	Tue Aug 29 20:01:57 2017 +0200
+++ b/UserPreferences.st	Wed Aug 30 14:53:59 2017 +0200
@@ -2108,6 +2108,34 @@
     "Modified: / 11.9.1998 / 00:09:59 / cg"
 !
 
+metaIsMouseWheelZoom
+    "return the flag which controls if meta+mouseWheel shall invoke the zoom.
+     (or else, the horizontal scroll)"
+
+    ^ self at:#metaIsMouseWheelZoom ifAbsent:[ false ]
+
+    "
+     UserPreferences current metaIsMouseWheelZoom
+    "
+
+    "Created: / 30-08-2017 / 14:46:12 / cg"
+!
+
+metaIsMouseWheelZoom:aBoolean
+    "set/clear the flag which controls if meta+mouseWheel shall invoke the zoom.
+     (or else, the horizontal scroll)"
+
+    self at:#metaIsMouseWheelZoom put:aBoolean
+
+    "
+     UserPreferences current metaIsMouseWheelZoom
+     UserPreferences current metaIsMouseWheelZoom:true
+     UserPreferences current metaIsMouseWheelZoom:false
+    "
+
+    "Created: / 30-08-2017 / 14:46:34 / cg"
+!
+
 motionDistanceToStartDrag
     "the motion distance (in pixel) to start drag (as opposed to adding to the selection)"