rem: gSourceContentWindow.value = ""; gHTMLSourceChanged = false; 
add: gSourceTextEditor.resetModificationCount(); 
context: function CancelHTMLSource(){  // Don't convert source text back into the DOM document  gSourceContentWindow.value = "";  gHTMLSourceChanged = false;  SetDisplayMode(gPreviousNonSourceDisplayMode);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/da612cac58dcb7e9f3602cece16f98855cac775c/editor.js/buggy/editor/ui/composer/content/editor.js