rem: dump("Saving para format state " + paraFormat + "\n"); 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/18736fd80cfad5a0e611db473920c6e1a553b72a/editor.js/buggy/editor/ui/composer/content/editor.js