<div dir="ltr"><div>Okay, can do. However I think we need to include the DockingBar shrtcuts together in that preference too, is that fair? That way, apps can have all the keys and register some of the shortcuts back, themselves if they want.</div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Oct 17, 2015 at 8:31 AM, marcel.taeumel <span dir="ltr"><<a href="mailto:Marcel.Taeumel@hpi.de" target="_blank">Marcel.Taeumel@hpi.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Please allow the user to turn-off those global shortcuts via preferences. I<br>
need some of those in Vivide.<br>
<br>
Best,<br>
Marcel<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://forum.world.st/The-Trunk-Morphic-cmm-1011-mcz-tp4856054p4856180.html" rel="noreferrer" target="_blank">http://forum.world.st/The-Trunk-Morphic-cmm-1011-mcz-tp4856054p4856180.html</a><br>
Sent from the Squeak - Dev mailing list archive at Nabble.com.<br>
<br>
</blockquote></div><br></div></div>