rem: var cmd = document.getElementById("cmd_reload"); cmd.removeAttribute ("disabled"); 
add: console.commandManager.commands["reload"].enabled = true; 
context: function enableReloadCommand(){    var cmd = document.getElementById("cmd_reload");    cmd.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