Cosa è l’editor dei tasti e come può essere utilizzato per inserire gli elementi in partitura e per modificare la riproduzione