context: function EditorSetParagraphFormat(commandID, paraFormat){  // editorShell.SetParagraphFormat(paraFormat);  var commandNode = document.getElementById(commandID);  dump("Saving para format state " + paraFormat + "\n");  commandNode.setAttribute("state", paraFormat);  window.content.focus();   // needed for command dispatch to work  goDoCommand(commandID);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/f8789832b86dfc8309876096458f8524d37821c2/editor.js/clean/editor/ui/composer/content/editor.js