rem: function goSetMenuValue(command, labelAttribute) { CommandUpdater.setMenuValue(command, labelAttribute); } 
add: function goSetMenuValue(aCommand, aLabelAttribute) { var commandNode = top.document.getElementById(aCommand); if (commandNode) { var label = commandNode.getAttribute(aLabelAttribute); if (label) commandNode.setAttribute("label", label); } } 
context: function goSetMenuValue(command, labelAttribute) { CommandUpdater.setMenuValue(command, labelAttribute); }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/72e7b2579dce09dbdfca391306a9e78d5d03fe2c/globalOverlay.js/clean/toolkit/content/globalOverlay.js