UI changes:
* the Settings dialog offers a combo box to select left and right
mouse buttons, or disable the gestures completely
* changes are permanently saved
* OK button is added
Closes#386Closes#1280
It is now also possible to enable/disable rocker navigation.
Closes#1234