Hi Anton: Harald is correct that the functionality is already present. We do have some work scheduled to further improve palettes and playback controls.
Cheers, Michael Johnson VP, Professional Notation MakeMusic
Both features are already there and don't need to be requested. The playback controls can be docked/undocked to the main window - if it's undocked, it can also be closed. The main tool palette can also be resized in different ways, exactly as you wish.
3 comments
Date Votes