rem: /* First, we'll try to use the session history object to reload so * that framesets are handled properly. If we're in a special * window (such as view-source) that has no session history, fall 
add: /* First, we'll try to use the session history object to reload so * that framesets are handled properly. If we're in a special * window (such as view-source) that has no session history, fall 
context: function BrowserReloadWithFlags(reloadFlags){  /* First, we'll try to use the session history object to reload so    * that framesets are handled properly. If we're in a special    * window (such as view-source) that has no session history, fall    * back on using the web navigation's reload method.   */  var webNav = getWebNavigation();  try {    var sh = webNav.sessionHistory;    if (sh)      webNav = sh.QueryInterface(nsIWebNavigation);  } catch (e) {  }  try {    webNav.reload(reloadFlags);  } catch (e) {  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2fb9feaadc992e3ccd442db789244b253d0427f8/browser.js/buggy/browser/base/content/browser.js