From 558de4faff245cac505e6e49aaba3a549867fe8f Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Sun, 26 Jan 2025 19:29:31 +0100
Subject: [PATCH] Inital fix
Needs to be activated at the appropriate time
---
app/src/processing/app/ui/Splash.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/app/src/processing/app/ui/Splash.java b/app/src/processing/app/ui/Splash.java
index a615868935..fba1fa5cd3 100644
--- a/app/src/processing/app/ui/Splash.java
+++ b/app/src/processing/app/ui/Splash.java
@@ -165,6 +165,7 @@ static public void setDisableHiDPI(boolean disabled) {
static public void main(String[] args) {
// Has to be done before AWT is initialized, so the hack lives here
// instead of Base or anywhere else that might make more sense.
+ System.setProperty("sun.java2d.uiScale", "2");
if (getDisableHiDPI()) {
System.setProperty("sun.java2d.uiScale.enabled", "false");
}