rem: var tb = document.getElementById("stop-button"); 
add: var tb = document.getElementById("maintoolbar-stop"); 
context: function setStopState(state){    var tb = document.getElementById("stop-button");    if (state)    {        console.jsds.interruptHook = console._executionHook;        tb.setAttribute("willStop", "true");    }    else    {        console.jsds.interruptHook = null;        tb.removeAttribute("willStop");    }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js