Rename devicePixelRatio to pixelRatio in ol.FrameState

This commit is contained in:
Tom Payne
2014-01-14 15:30:49 +01:00
parent 50a322208a
commit 4667dec7c3
12 changed files with 36 additions and 39 deletions

View File

@@ -175,8 +175,8 @@ ol.Map = function(options) {
* @private
* @type {number}
*/
this.devicePixelRatio_ = goog.isDef(options.devicePixelRatio) ?
options.devicePixelRatio : ol.BrowserFeature.DEVICE_PIXEL_RATIO;
this.pixelRatio_ = goog.isDef(options.pixelRatio) ?
options.pixelRatio : ol.BrowserFeature.DEVICE_PIXEL_RATIO;
/**
* @private
@@ -1115,13 +1115,13 @@ ol.Map.prototype.renderFrame_ = function(time) {
animate: false,
attributions: {},
coordinateToPixelMatrix: this.coordinateToPixelMatrix_,
devicePixelRatio: this.devicePixelRatio_,
extent: null,
focus: goog.isNull(this.focus_) ? view2DState.center : this.focus_,
index: this.frameIndex_++,
layersArray: layersArray,
layerStates: layerStates,
logos: {},
pixelRatio: this.pixelRatio_,
pixelToCoordinateMatrix: this.pixelToCoordinateMatrix_,
postRenderFunctions: [],
size: size,