rem: } else { gPrintSettings = webBrowserPrint.globalPrintSettings; 
context: function GetPrintSettings(webBrowserPrint){  var prevPS = gPrintSettings;  try {    if (gPrintSettings == null) {      var useGlobalPrintSettings = true;      var pref = Components.classes["@mozilla.org/preferences-service;1"]                           .getService(Components.interfaces.nsIPrefBranch);      if (pref) {        useGlobalPrintSettings = pref.getBoolPref("print.use_global_printsettings", false);      }      if (useGlobalPrintSettings) {        gPrintSettings = webBrowserPrint.newPrintSettings;      } else {        gPrintSettings = webBrowserPrint.globalPrintSettings;      }    }  } catch (e) {    alert("GetPrintSettings "+e);  }  return gPrintSettings;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2c6de83cd82adb2b21db62593fcd7d1a50dfd5b1/browser.js/buggy/suite/browser/browser.js