+- On Mac OSX the modifier keys <Control> and <Option> are now treated separately.
+ The distributed key binding for Mac OSX no longer uses the <Option> key for
+ shortcuts with letters or numbers.
+
+ The custom key bindings for <Option>/<Control> are mapped to the <Control>
+ modifier only.