context: function onStateButtonUpdate(button, commmandID, onState){// dump(" === onButtonUpdate called\n");  var commandNode = document.getElementById(commmandID);  var state = commandNode.getAttribute("state");  button.setAttribute("toggled", (state == onState) ? "true" : "false");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5986ab59396a3071965154ed4499fa5a734750cd/editor.js/clean/editor/ui/composer/content/editor.js