add:  var tb = document.getElementById("cmd_stop"); tb.removeAttribute("disabled"); 
context: function disableDebugCommands(){    var cmds = document.getElementById("venkmanDebuggerCommands");    var sib = cmds.firstChild;    while (sib)    {        sib.setAttribute ("disabled", "true");        sib = sib.nextSibling;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b63463642e2d83f5177caab6ee231badf5eda49c/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js