From 59339fb92964ddca7bcefe4fb3519ac5e5d54746 Mon Sep 17 00:00:00 2001
From: codeanticode <andres.colubri@gmail.com>
Date: Fri, 23 Jan 2015 07:13:42 -0500
Subject: [PATCH] use pixel scale factor

---
 java/libraries/lwjgl/src/processing/lwjgl/PLWJGL.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/java/libraries/lwjgl/src/processing/lwjgl/PLWJGL.java b/java/libraries/lwjgl/src/processing/lwjgl/PLWJGL.java
index 5e6691654..e55d43460 100644
--- a/java/libraries/lwjgl/src/processing/lwjgl/PLWJGL.java
+++ b/java/libraries/lwjgl/src/processing/lwjgl/PLWJGL.java
@@ -929,7 +929,8 @@ public class PLWJGL extends PGL {
   }
 
   public void viewport(int x, int y, int w, int h) {
-    GL11.glViewport(x, y, w, h);
+    float f = Display.getPixelScaleFactor();
+    GL11.glViewport((int)(f * x), (int)(f * y), (int)f * w, (int)(f * h));
   }
 
   //////////////////////////////////////////////////////////////////////////////
@@ -1369,7 +1370,8 @@ public class PLWJGL extends PGL {
   // Per-Fragment Operations
 
   public void scissor(int x, int y, int w, int h) {
-    GL11.glScissor(x, y, w, h);
+    float f = Display.getPixelScaleFactor();
+    GL11.glScissor((int)(f * x), (int)(f * y), (int)f * w, (int)(f * h));
   }
 
   public void sampleCoverage(float value, boolean invert) {