From cebdb8f3d72eb072217499aae36c4f016a6ba0cc Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 12 Feb 2022 13:37:16 -0500 Subject: [PATCH] sorting out Windows DPI (more with #378) --- core/src/processing/core/PApplet.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/core/src/processing/core/PApplet.java b/core/src/processing/core/PApplet.java index 8643ab9a4..a23a361bc 100644 --- a/core/src/processing/core/PApplet.java +++ b/core/src/processing/core/PApplet.java @@ -10181,16 +10181,18 @@ public class PApplet implements PConstants { uncaughtThrowable = e; }); + /* if (platform == WINDOWS) { // Set DPI scaling to either 1 or 2, but avoid fractional versions like // 125% and 250% that make things look gross, or even 300% since that // is not even a thing. - int dpi = java.awt.Toolkit.getDefaultToolkit().getScreenResolution(); + int dpi = java.awt.Toolkit.getDefaultToolkit().getScreenResolution(); // no longer possible to set prop after this line System.out.println("dpi came back " + dpi); int scaleFactor = constrain(dpi / 96, 1, 2); System.out.println("setting scale factor to " + scaleFactor); System.setProperty("sun.java2d.uiscale", String.valueOf(scaleFactor)); } + */ // This doesn't work, need to mess with Info.plist instead /*