How to change editor text size

PGSongBook allows you to easily adjust the font size of the built-in editor to your needs:

Just tap the screen with two fingers, keep touching it and move your fingers away from each other.
This movement is also called “Pinching” and works in many other applications as well.