rem: dump("*** FinishHTMLSource ***\n"); 
context: function FinishHTMLSource(){dump("*** FinishHTMLSource ***\n");  // Switch edit modes -- converts source back into DOM document  SetEditMode(PreviousNonSourceDisplayMode);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5eafc0feeb5eafc3a8dec8ecd2e935e7be206733/editor.js/clean/editor/ui/composer/content/editor.js