rem: var  outputText = editorShell.contentsAsHTML; dump(outputText + "\n"); 
add: var  outputHTML = editorShell.GetContentsAs("text/html", 2); dump(outputHTML + "\n"); 
context: function EditorGetHTML(){  if (editorShell) {    dump("Getting HTML\n");    var  outputText = editorShell.contentsAsHTML;    dump(outputText + "\n");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a3fb11b98f0f2e97a120f086939f78eba31f7a3b/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js