<div dir="ltr">Hi All,<br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div><br></div><div>    Sensor shiftPressed no longer functions.  Is there a replacement?  If so, what is it, and can we mark shiftPressed as deprecated?  If not, can it be fixed?  It's the escape key in the debugger's runUntil, and useful for turning off display update when things are running for a very long time.</div><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div>