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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d3c9e4771c5a9cb2cf9c03686c5863c793b0aa1e/EditorCommands.js/clean/editor/ui/composer/content/EditorCommands.js