%findBarDTD; ]> null null Components.classes['@mozilla.org/preferences-service;1'] .getService(Components.interfaces.nsIPrefService) .getBranch(null); Components.classes['@mozilla.org/atom-service;1'] .getService(Components.interfaces.nsIAtomService); null // see bug 63370 for details var localeService = Components.classes["@mozilla.org/intl/nslocaleservice;1"] .getService(Components.interfaces.nsILocaleService); var stringBundleService = Components.classes["@mozilla.org/intl/stringbundle;1"] .getService(Components.interfaces.nsIStringBundleService); var bundleURL = "chrome://global/locale/tabbrowser.properties"; this._mStrBundle = stringBundleService.createBundle(bundleURL, localeService.getApplicationLocale()); } return this._mStrBundle; ]]> null null 1 null false null null false null false 0) this.sessionHistory.PurgeHistory(purge); ]]> 3 10 null false null false null null null null 0) scrollType--; if (this._clientFrameDoc.defaultView.scrollMaxX > 0) scrollType++; var imageWidth = 28; var imageHeight = 28; // marker var el = this._clientFrameDoc.createElementNS("http://www.w3.org/1999/xhtml", "img"); el.src = scrollImages[scrollType]; el.style.position = "fixed"; el.style.left = left - imageWidth / 2 + "px"; el.style.top = top - imageHeight / 2 + "px"; el.style.width = imageWidth + "px"; el.style.height = imageHeight + "px"; el.style.cursor = scrollCursor[scrollType]; el.style.zIndex = 2147483647; //Max Int el.style.borderStyle = "none"; el.style.padding = "0"; el.style.margin = "0"; this._clientFrameDoc.documentElement.appendChild(el); this._autoScrollMarkerImage = el; ]]> this._AUTOSCROLL_SNAP || x < -this._AUTOSCROLL_SNAP) || (y > this._AUTOSCROLL_SNAP || y < -this._AUTOSCROLL_SNAP)) this._snapOn = false; } ]]>