From fa6b07abeacfb5b8a70bc762e9c8ff64470c4d2c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Thu, 24 Nov 2022 17:20:05 +0100
Subject: [PATCH] term: apply scale factor when converting a px value to pt

---
 terminal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/terminal.c b/terminal.c
index 429a4cc3..1914a229 100644
--- a/terminal.c
+++ b/terminal.c
@@ -946,7 +946,7 @@ term_pt_or_px_as_pixels(const struct terminal *term,
 
     return pt_or_px->px == 0
         ? round(pt_or_px->pt * scale * dpi / 72)
-        : pt_or_px->px;
+        : pt_or_px->px * scale;
 }
 
 struct font_load_data {