This adds zoom functionality to the piano music pages.
The code I used already included double-tap to zoom in and zoom out, so I left that in. The side effect is that there's a slight delay when single-tapping to remove the navigation bar. So if you prefer for the navigation bar to work instantly, you can remove the three lines from the PinchToZoom constructor that register the tap gesture recognizer.
This adds zoom functionality to the piano music pages.
The code I used already included double-tap to zoom in and zoom out, so I left that in. The side effect is that there's a slight delay when single-tapping to remove the navigation bar. So if you prefer for the navigation bar to work instantly, you can remove the three lines from the PinchToZoom constructor that register the tap gesture recognizer.
This is tested on Android only.