context: function onListFormatChange(listType){  var theButton = document.getElementById(listType + "Button");  if (theButton)  {	var listFormat = theButton.getAttribute("format");	if (listFormat == listType) {      theButton.setAttribute("toggled", 1);    } else {      theButton.setAttribute("toggled", 0);    }  }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/394ec85770505195e16a50b3ea8f8b0ba27b1ff7/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js