From d88371e42c75caabbc09b3b63cf6dcc24c6f8f03 Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Tue, 23 Aug 2022 21:57:30 -0400
Subject: [PATCH] more dpi experimentation
---
simpledisplay.d | 2 +-
terminal.d | 2 ++
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/simpledisplay.d b/simpledisplay.d
index 9aa246e..02f9c01 100644
--- a/simpledisplay.d
+++ b/simpledisplay.d
@@ -1849,7 +1849,7 @@ class SimpleWindow : CapableOfHandlingNativeEvent, CapableOfBeingDrawnUpon {
MonitorInfo.info ~= MonitorInfo(
Rectangle(Point(monitor.x, monitor.y), Size(monitor.width, monitor.height)),
Size(monitor.mwidth, monitor.mheight),
- cast(int) (customScalingFactorForMonitor(cast(int) idx) * 96)
+ cast(int) (customScalingFactorForMonitor(cast(int) idx) * getDpi()[0])
);
/+
diff --git a/terminal.d b/terminal.d
index bc7a1b8..4b92bf7 100644
--- a/terminal.d
+++ b/terminal.d
@@ -9047,6 +9047,8 @@ version(TerminalDirectToEmulator) {
auto xft = getXftDpi();
if(xft is float.init)
xft = 96;
+ // the xft passed as assumed means it will figure that's what the size
+ // is based on (which it is, inside xft) preventing the double scale problem
fontSize = widget.scaleWithDpi(fontSize, cast(int) xft);
}