Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-11 04:15:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Scale the displayport by the zoom factor

Browse Source
This commit is contained in:
Patrick Walton 2012-02-13 22:32:31 -08:00
parent 2f48494641
commit 97d18e40e9
1 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
mobile/android/chrome/content/browser.js
View File

@ -1574,6 +1574,10 @@ Tab.prototype = {
this._viewport.height = gScreenHeight = aViewport.height;
dump("### gScreenWidth = " + gScreenWidth + "\n");
let zoom = aViewport.zoom;
let cwu = window.top.QueryInterface(Ci.nsIInterfaceRequestor)
.getInterface(Ci.nsIDOMWindowUtils);
if ((aViewport.offsetX != this._viewport.offsetX) ||
(excessX != this.viewportExcess.x)) {
this._viewport.offsetX = aViewport.offsetX;
@ -1584,12 +1588,15 @@ Tab.prototype = {
this._viewport.offsetY = aViewport.offsetY;
this.viewportExcess.y = excessY;
}
if (Math.abs(aViewport.zoom - this._viewport.zoom) >= 1e-6) {
this._viewport.zoom = aViewport.zoom;
let cwu = window.top.QueryInterface(Ci.nsIInterfaceRequestor)
.getInterface(Ci.nsIDOMWindowUtils);
cwu.setResolution(this._viewport.zoom, this._viewport.zoom);
if (Math.abs(zoom - this._viewport.zoom) >= 1e-6) {
this._viewport.zoom = zoom;
cwu.setResolution(zoom, zoom);
}
cwu.setDisplayPortForElement(-kBufferAmount / zoom, -kBufferAmount / zoom,
(gScreenWidth + kBufferAmount * 2) / zoom,
(gScreenHeight + kBufferAmount * 2) / zoom,
this.browser.contentDocument.documentElement);
},
screenshot: function(aSrc, aDst) {
@ -1734,14 +1741,6 @@ Tab.prototype = {
if (this._pluginCount && !this._pluginOverlayShowing)
PluginHelper.showDoorHanger(this);
// FIXME: This should not be in DOMContentLoaded; it should happen earlier.
let cwu = this.browser.contentWindow.QueryInterface(Ci.nsIInterfaceRequestor)
.getInterface(Ci.nsIDOMWindowUtils);
cwu.setDisplayPortForElement(-kBufferAmount, -kBufferAmount,
gScreenWidth + kBufferAmount * 2,
gScreenHeight + kBufferAmount * 2,
this.browser.contentDocument.documentElement);
break;
}