2012-06-25 22:14:43 +04:00
|
|
|
# -*- Mode: Java; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*-
|
|
|
|
#
|
|
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
2002-08-04 05:04:19 +04:00
|
|
|
|
|
|
|
/** Document Zoom Management Code
|
|
|
|
*
|
2009-01-12 23:15:27 +03:00
|
|
|
* To use this, you'll need to have a getBrowser() function or use the methods
|
|
|
|
* that accept a browser to be modified.
|
2002-08-04 05:04:19 +04:00
|
|
|
**/
|
|
|
|
|
2007-10-26 03:02:20 +04:00
|
|
|
var ZoomManager = {
|
2010-04-17 14:19:33 +04:00
|
|
|
get _prefBranch() {
|
2008-02-13 14:00:45 +03:00
|
|
|
delete this._prefBranch;
|
|
|
|
return this._prefBranch = Components.classes["@mozilla.org/preferences-service;1"]
|
|
|
|
.getService(Components.interfaces.nsIPrefBranch);
|
2002-08-04 05:04:19 +04:00
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
get MIN() {
|
2007-10-26 03:02:20 +04:00
|
|
|
delete this.MIN;
|
2008-02-13 14:00:45 +03:00
|
|
|
return this.MIN = this._prefBranch.getIntPref("zoom.minPercent") / 100;
|
2002-08-04 05:04:19 +04:00
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
get MAX() {
|
2007-10-26 03:02:20 +04:00
|
|
|
delete this.MAX;
|
2008-02-13 14:00:45 +03:00
|
|
|
return this.MAX = this._prefBranch.getIntPref("zoom.maxPercent") / 100;
|
2002-08-04 05:04:19 +04:00
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
get useFullZoom() {
|
2008-02-13 14:00:45 +03:00
|
|
|
return this._prefBranch.getBoolPref("browser.zoom.full");
|
2002-08-04 05:04:19 +04:00
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
set useFullZoom(aVal) {
|
2008-02-13 14:00:45 +03:00
|
|
|
this._prefBranch.setBoolPref("browser.zoom.full", aVal);
|
|
|
|
return aVal;
|
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
get zoom() {
|
2009-01-12 23:15:27 +03:00
|
|
|
return this.getZoomForBrowser(getBrowser());
|
|
|
|
},
|
|
|
|
|
|
|
|
getZoomForBrowser: function ZoomManager_getZoomForBrowser(aBrowser) {
|
|
|
|
var markupDocumentViewer = aBrowser.markupDocumentViewer;
|
2008-02-13 14:00:45 +03:00
|
|
|
|
2011-11-17 08:25:00 +04:00
|
|
|
return this.useFullZoom ||
|
|
|
|
aBrowser.contentDocument.mozSyntheticDocument ?
|
|
|
|
markupDocumentViewer.fullZoom : markupDocumentViewer.textZoom;
|
2008-02-13 14:00:45 +03:00
|
|
|
},
|
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
set zoom(aVal) {
|
2009-01-12 23:15:27 +03:00
|
|
|
this.setZoomForBrowser(getBrowser(), aVal);
|
|
|
|
return aVal;
|
|
|
|
},
|
|
|
|
|
|
|
|
setZoomForBrowser: function ZoomManager_setZoomForBrowser(aBrowser, aVal) {
|
2007-10-26 03:02:20 +04:00
|
|
|
if (aVal < this.MIN || aVal > this.MAX)
|
2002-08-04 05:04:19 +04:00
|
|
|
throw Components.results.NS_ERROR_INVALID_ARG;
|
|
|
|
|
2009-01-12 23:15:27 +03:00
|
|
|
var markupDocumentViewer = aBrowser.markupDocumentViewer;
|
2008-02-13 14:00:45 +03:00
|
|
|
|
2011-11-17 08:25:00 +04:00
|
|
|
if (this.useFullZoom || aBrowser.contentDocument.mozSyntheticDocument) {
|
2008-02-13 14:00:45 +03:00
|
|
|
markupDocumentViewer.textZoom = 1;
|
|
|
|
markupDocumentViewer.fullZoom = aVal;
|
|
|
|
} else {
|
|
|
|
markupDocumentViewer.textZoom = aVal;
|
|
|
|
markupDocumentViewer.fullZoom = 1;
|
|
|
|
}
|
2007-10-26 03:02:20 +04:00
|
|
|
},
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2010-04-17 14:19:33 +04:00
|
|
|
get zoomValues() {
|
2008-02-13 14:00:45 +03:00
|
|
|
var zoomValues = this._prefBranch.getCharPref("toolkit.zoomManager.zoomValues")
|
|
|
|
.split(",").map(parseFloat);
|
2009-01-21 18:46:16 +03:00
|
|
|
zoomValues.sort(function (a, b) a - b);
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2008-02-13 14:00:45 +03:00
|
|
|
while (zoomValues[0] < this.MIN)
|
|
|
|
zoomValues.shift();
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2008-02-13 14:00:45 +03:00
|
|
|
while (zoomValues[zoomValues.length - 1] > this.MAX)
|
|
|
|
zoomValues.pop();
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2008-02-13 14:00:45 +03:00
|
|
|
delete this.zoomValues;
|
|
|
|
return this.zoomValues = zoomValues;
|
2002-08-04 05:04:19 +04:00
|
|
|
},
|
|
|
|
|
2007-11-26 11:35:22 +03:00
|
|
|
enlarge: function ZoomManager_enlarge() {
|
2008-02-13 14:00:45 +03:00
|
|
|
var i = this.zoomValues.indexOf(this.snap(this.zoom)) + 1;
|
|
|
|
if (i < this.zoomValues.length)
|
|
|
|
this.zoom = this.zoomValues[i];
|
2007-10-26 03:02:20 +04:00
|
|
|
},
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2007-11-26 11:35:22 +03:00
|
|
|
reduce: function ZoomManager_reduce() {
|
2008-02-13 14:00:45 +03:00
|
|
|
var i = this.zoomValues.indexOf(this.snap(this.zoom)) - 1;
|
2007-10-26 03:02:20 +04:00
|
|
|
if (i >= 0)
|
2008-02-13 14:00:45 +03:00
|
|
|
this.zoom = this.zoomValues[i];
|
2007-10-26 03:02:20 +04:00
|
|
|
},
|
2002-08-04 05:04:19 +04:00
|
|
|
|
2007-11-26 11:35:22 +03:00
|
|
|
reset: function ZoomManager_reset() {
|
2008-02-13 14:00:45 +03:00
|
|
|
this.zoom = 1;
|
|
|
|
},
|
|
|
|
|
|
|
|
toggleZoom: function ZoomManager_toggleZoom() {
|
|
|
|
var zoomLevel = this.zoom;
|
|
|
|
|
|
|
|
this.useFullZoom = !this.useFullZoom;
|
|
|
|
this.zoom = zoomLevel;
|
2007-06-14 09:26:39 +04:00
|
|
|
},
|
|
|
|
|
2007-11-26 11:35:22 +03:00
|
|
|
snap: function ZoomManager_snap(aVal) {
|
2008-02-13 14:00:45 +03:00
|
|
|
var values = this.zoomValues;
|
2007-10-26 03:02:20 +04:00
|
|
|
for (var i = 0; i < values.length; i++) {
|
|
|
|
if (values[i] >= aVal) {
|
|
|
|
if (i > 0 && aVal - values[i - 1] < values[i] - aVal)
|
|
|
|
i--;
|
|
|
|
return values[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return values[i - 1];
|
2002-08-04 05:04:19 +04:00
|
|
|
}
|
2010-04-17 14:19:33 +04:00
|
|
|
};
|