%findBarDTD; ]> null 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/browser.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 null null null null null null false 8) { // need high color for transparency // Exclude second-rate platforms this._autoScrollPopup.setAttribute("transparent", !/BeOS|Mac|OS\/2|Photon/.test(navigator.appVersion)); // Enable translucency on W2K+ (but not WinNT4.0) this._autoScrollPopup.setAttribute("translucent", /^Windows NT /.test(navigator.oscpu)); } this._scrollingView = event.originalTarget.ownerDocument.defaultView; if (this._scrollingView.scrollMaxX > 0) { this._autoScrollPopup.setAttribute("scrolldir", this._scrollingView.scrollMaxY > 0 ? "NSEW" : "EW"); } else if (this._scrollingView.scrollMaxY > 0) { this._autoScrollPopup.setAttribute("scrolldir", "NS"); } else { this._scrollingView = null; // abort scrolling return; } document.popupNode = null; this._autoScrollPopup.showPopup(document.documentElement, event.screenX, event.screenY, "popup", null, null); this._ignoreMouseEvents = true; this._startX = event.screenX; this._startY = event.screenY; this._screenX = event.screenX; this._screenY = event.screenY; window.addEventListener("mousemove", this, true); window.addEventListener("mousedown", this, true); window.addEventListener("mouseup", this, true); window.addEventListener("contextmenu", this, true); this._scrollErrorX = 0; this._scrollErrorY = 0; this._autoScrollTimer = setInterval(function(self) { self.autoScrollLoop(); }, 20, this); ]]> 0) return Math.floor(num); return Math.ceil(num); ]]> 1) return val * Math.sqrt(val) - 1; if (val < -1) return val * Math.sqrt(-val) + 1; return 0; ]]> this._AUTOSCROLL_SNAP || x < -this._AUTOSCROLL_SNAP) || (y > this._AUTOSCROLL_SNAP || y < -this._AUTOSCROLL_SNAP)) this._ignoreMouseEvents = false; break; } case "mouseup": case "mousedown": case "contextmenu": { if (!this._ignoreMouseEvents) this._autoScrollPopup.hidePopup(); this._ignoreMouseEvents = false; break; } case "popuphidden": { this._autoScrollPopup.removeEventListener("popuphidden", this, true); this.stopScroll(); break; } } } ]]>