I just created a new user account and was able to export MIDI file that way. But, of course, there are a bunch of other things that aren't working/set up in this new account, so I'm hoping I can get this working on my regular account. If not, then can you tell me how to avoid this problem in the future?
Thanks,
Britta