From bd1107f785024b8269d8902041106126d11975d6 Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Thu, 12 Dec 2013 14:21:43 +0100
Subject: [PATCH] Add devicePixelRatio to ol.FrameState

---
 src/ol/framestate.js | 1 +
 src/ol/map.js        | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/ol/framestate.js b/src/ol/framestate.js
index b86c897ef9..84f3da2c46 100644
--- a/src/ol/framestate.js
+++ b/src/ol/framestate.js
@@ -20,6 +20,7 @@ goog.require('ol.layer.LayerState');
  * @typedef {{animate: boolean,
  *            attributions: Object.<string, ol.Attribution>,
  *            coordinateToPixelMatrix: goog.vec.Mat4.Number,
+ *            devicePixelRatio: number,
  *            extent: (null|ol.Extent),
  *            focus: ol.Coordinate,
  *            index: number,
diff --git a/src/ol/map.js b/src/ol/map.js
index 797451b7a5..98ea98d24e 100644
--- a/src/ol/map.js
+++ b/src/ol/map.js
@@ -1076,6 +1076,7 @@ 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_++,