rem: var  outputText = window.editorShell.contentsAsHTML; 
add: var  outputText = editorShell.contentsAsHTML; 
context: function EditorGetHTML(){  if (window.editorShell) {    dump("Getting HTML\n");    var  outputText = window.editorShell.contentsAsHTML;    dump(outputText + "\n");  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/f85acd993e8835575d09e6f4e3a5600489696848/EditorCommands.js/buggy/editor/ui/composer/content/EditorCommands.js