context: function onStyleChange(theStyle){  //dump("in onStyleChange with " + theStyle + "\n");    var broadcaster = document.getElementById("cmd_" + theStyle);  var isOn = broadcaster.getAttribute("state");  // PrintObject(broadcaster);  var theButton = document.getElementById(theStyle + "Button");  if (theButton)  {    theButton.setAttribute("toggled", (isOn == "true") ? 1 : 0);  }  var theMenuItem = document.getElementById(theStyle + "MenuItem");  if (theMenuItem)  {    theMenuItem.setAttribute("checked", isOn);  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/0b2dd2b2d2fd037df917e07645fa019a963332a5/editor.js/clean/editor/ui/composer/content/editor.js