<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I’ve discovered the “Backstop” extension for Google Chrome. It stops the backspace key from making Chrome go “back” to the previous web page, which is really annoying when you think you are editing a Grace program in the browser-based editor. It is available <a href="https://chrome.google.com/webstore/detail/backstop/pidcjgldchekcoolelhbjfbnccjkckfj?hl=en-GB" class="">here</a>. There are a couple of other extensions, backstay and Goodby Backspace!, which claim to do the same thing. I’ve tried only Backstop: it doesn’t seem to work everywhere, but it does work for the Grace IDE. <div class=""><br class=""></div><div class="">In Firefox, you can disable backspace from being the back action by going to the <a href="about:config" class="">about:config</a> page, searching for the backspace_action preference, and changing the value from 0 to 2.</div><div class=""><br class=""></div><div class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Andrew</div><div class=""><br class=""></div></body></html>