Posted by gbburkhardt on Mar 01, 2023; 8:05pm
URL: https://forum.jogamp.org/DPI-scaling-not-working-tp4042206p4042256.html

Ah.  Thanks.  With Java 17, I get the same result w.r.t. scaling.