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