b3472e9e62
Disable the default android behaviour where a double tap followed by a swipe is interpreted as a zoom gesture. Most people seem not to know about it and hit it by mistake, see #495 for an example.
b3472e9e62