rem: var cmds = document.getElementById("venkmanStackCommands"); var sib = cmds.firstChild; while (sib) { sib.setAttribute ("disabled", "true"); sib = sib.nextSibling; }  var tb = document.getElementById("cmd_stop"); tb.removeAttribute("disabled"); 
add: var cmds = console.commandManager.list ("", CMD_NEED_STACK); for (var i in cmds) cmds[i].enabled = false;  cmds = console.commandManager.list ("", CMD_NO_STACK); for (i in cmds) cmds[i].enabled = true; 
context: function disableDebugCommands(){    var cmds = document.getElementById("venkmanStackCommands");    var sib = cmds.firstChild;    while (sib)    {        sib.setAttribute ("disabled", "true");        sib = sib.nextSibling;    }    var tb = document.getElementById("cmd_stop");    tb.removeAttribute("disabled");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js