Add double-tap to zoom

[vinicentus]

It would be nice to be able to double-tap on the map to zoom in on that spot. How hard would this be to implement? Maybe add it as a default feature?

[johnpryan]

Good idea! Yes this is possible. The GestureDetector widget we use could have a onDoubleTap handler that zooms the map by some amount

[vinicentus]

Wrote some code, but not completely sure I did the calculations for zooming right (zooming the right amount). It seems fine though.