add:  ResetWindowTitleWithFilename(); 
context: function CancelHTMLSource(){  // Don't convert source text back into the DOM document  gSourceContentWindow.value = "";  SetDisplayMode(PreviousNonSourceDisplayMode);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0f51b8f6fb3e852f0b7755ae680a6ce8b5651b42/editor.js/clean/editor/ui/composer/content/editor.js