rem: { var docCharset = null; 
add: { var focusedWindow = document.commandDispatcher.focusedWindow; if (focusedWindow == window) focusedWindow = _content; 
context:   function BrowserViewSource()  {    var docCharset = null;    try     {      var wnd = document.commandDispatcher.focusedWindow;      if (window == wnd) wnd = window._content;      docCharset = "charset="+ wnd.document.characterSet;      // debug("*** Current document charset: " + docCharset + "\n");    }    catch(ex)     {       docCharset = null;      debug("*** Failed to determine current document charset \n");    }    if (docCharset != null)     {      try       {        //now try to open a view-source window while inheriting the charset        window.openDialog( "chrome://navigator/content/viewSource.xul",						         "_blank",						         "scrollbars,resizable,chrome,dialog=no",					           window._content.location, docCharset);      }      catch(ex)       {         debug("*** Failed to open view-source window with preset charset menu.\n");      }    } else {        //default: forcing the view-source widow        debug("*** Failed to preset charset menu for the view-source window\n");        window.openDialog( "chrome://navigator/content/viewSource.xul",					         "_blank",					         "scrollbars,resizable,chrome,dialog=no",					         window._content.location);    }  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/8af6fdd67793deac301bb3a38dd32a9feff8f9a9/navigator.js/clean/suite/browser/navigator.js