Re: export of midi map

#1012

Yes, maybe it would be good idea. The problem only appears when you use more computers (e.g. one for creation, one for playing the show) or more workspaces. Usually we use one workspace for live events (with all the effects we want), so we don’t have this problem. Anyway, we’ll see..

Michal