if (gInPrintPreviewMode) return;  
  _applySettingToPref: function () {    var fullZoom = ZoomManager.fullZoom;    this._cps.setPref(gBrowser.currentURI, this.name, fullZoom);  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/34a6718afd0b5fcf42b4c35d3a699b7741d4bb0b/browser-textZoom.js/clean/browser/base/content/browser-textZoom.js