- Added the possibility to modify the tempo of a sound without changing pitch (on the advanced options of the sound player)
- Added the possibility to modify the pitch of a sound without changing tempo (on the advanced options of the sound player)
- Small performance improvements
- Small bugs fixes (user manual missing, some label not initialized on slider, prevent deletion of root element when editing instructions...)