add: dump(" === onButtonUpdate called\n"); 
context: function onButtonUpdate(button, commmandID){  var commandNode = document.getElementById(commmandID);  var state = commandNode.getAttribute("state");  button.setAttribute("toggled", state);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/003a94051de7438718bb4485d0378ceb723d5221/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js