Axel Dörfler wrote:
I would welcome such a change. Given the size of the audience, I wouldn't care adding a preferences application for it, but having more than one sound font to choose from, sounds like a good idea to me, especially if you can easily install the extra fonts via optional packages (that are not included in the base distribution).Maybe one could add a midi pane to the Media preferences? While the two don't have much in common under the hood, from a user perspective, that's where I would be looking for such a setting.
having a midi preferences broken out on its own would make more sense to me.My first inclination would be to look for preferences/midi. not preferences/media/midi
Sean