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