rem: for( var i = 0; i < installItems.length; i++ ) { installItems[i].setAttribute("disabled", disabled.toString()); } for( var i = 0; i < commandsItems.length; i++ ) { commandManager.initToolsMenu(commandsItems[i]); } } 
add: for( var i = 0; i < installItems.length; i++ ) { installItems[i].setAttribute("disabled", disabled.toString()); } for( var i = 0; i < commandsItems.length; i++ ) { commandManager.initToolsMenu(commandsItems[i]); } } 
context:  function toolsMenuShowing(e) {   var installItems = ge_multi("userscript-tools-install", "menuitem");   var commandsItems = ge_multi("userscript-commands", "menu");   var disabled = !(window._content && window._content.location &&    window._content.location.href.match(/\.user\.js(\?|$)/i) != null);   for( var i = 0; i < installItems.length; i++ ) {     installItems[i].setAttribute("disabled", disabled.toString());   }   for( var i = 0; i < commandsItems.length; i++ ) {     commandManager.initToolsMenu(commandsItems[i]);   } }
meta: 9744	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9744/315119498beb3f038b2f331f4abecd4970a6a857/browser.js/buggy/src/content/browser.js