<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2017-07-20 19:10 GMT-03:00 Dan Wilcox <span dir="ltr"><<a href="mailto:danomatika@gmail.com" target="_blank">danomatika@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><br><div><span class=""><blockquote type="cite"><div>On Jul 21, 2017, at 12:06 AM, Alexandre Torres Porres <<a href="mailto:porres@gmail.com" target="_blank">porres@gmail.com</a>> wrote:</div><div><div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">2017-07-17 17:16 GMT-03:00 Dan Wilcox <span dir="ltr"><<a href="mailto:danomatika@gmail.com" target="_blank">danomatika@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We could have the menu placement be based on platform... :)<br></blockquote><div><br></div><div>could that be done right away?</div></div></div></div></div></blockquote><div><br></div></span><div>I'm not changing that behavior at this point. Maybe later.</div><span class=""><br><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>On mac, on the Pd menu, there are actually 2 preferences, but it seems one of them is from the system and could be the only one when we sort the unified preferences pane, right?</div></div></div></div></div></blockquote><div><br></div></span><div>Yes it can, but that takes work. There is NO way to remove the default Preferences entry. I have tried.</div></div></div></blockquote><div><br></div><div>how come, something to do with tcl/tk?</div><div><br></div><div>I was checkin extended 0.42-5 - it has this system prefrences not highlighted/activated... purr data doesn't have it or other things like "service" (extended doesn't have service either) </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span class=""><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>But it seems too redundanct and confusing to access them in the Media menu as well</div></div></div></div>
</div></blockquote><br></span></div><div>Yes, but it's not that big a deal for now. Some might argue that its easier and quicker to change things like Audio & Midi from the appropriately named "Media" menu, instead of clicking more times from the other location.</div></div></blockquote><div><br></div><div>seems like the ideal scenario would be to call it from the "command + ," shortcut and have access to all of the settings - if we have that, eventually, I dont see a reason why to keep the other one</div><div><br></div><div>cheers</div></div></div></div>