In lots of apps, a double tap in space on the piano roll selects all notes. This would be great.