From 675b8eb1fef9e4fc99516b2fa64505107b1fa6bf Mon Sep 17 00:00:00 2001
From: "Justin R. Miller" <incanus@codesorcery.net>
Date: Fri, 21 Feb 2014 16:25:42 -0800
Subject: [PATCH] refs #60: size POIs properly based on pixel ratio

---
 src/renderer/painter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/renderer/painter.cpp b/src/renderer/painter.cpp
index 83bf8d4d9..d1ab26389 100644
--- a/src/renderer/painter.cpp
+++ b/src/renderer/painter.cpp
@@ -405,7 +405,7 @@ void Painter::renderPoint(PointBucket& bucket, const std::string& layer_name, co
     pointShader->setMatrix(matrix);
     pointShader->setImage(0);
     pointShader->setColor(color);
-    const float pointSize = properties.size * 1.4142135623730951;
+    const float pointSize = properties.size * 1.4142135623730951 * transform.pixelRatio;
     #if defined(GL_ES_VERSION_2_0)
         pointShader->setSize(pointSize);
     #else