Hi Ted,<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
I was wondering if the fluxus midi input port name should be change.<br>
The actual "RtMidi Input" is quite abstract and an other application<br>
could have the same name.</blockquote><div><br></div><div>I think this sounds quite sensible and practical, yes. The one downside is that the change might break existing configuration scripts that people may have made. To me right now it sounds like the practicality of the change you propose outweighs changing such scripts.</div>
<div><br></div><div>Yours,</div><div>Kas.</div></div>