From bfc0014ae21516d4b27c899df5e9fcd0a33b7196 Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Mon, 3 Nov 2025 19:24:15 -0500
Subject: [PATCH] oops opend fix

---
 terminal.d | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/terminal.d b/terminal.d
index b3b3422..07bdca1 100644
--- a/terminal.d
+++ b/terminal.d
@@ -9268,6 +9268,9 @@ version(TerminalDirectToEmulator) {
 
 	private class TerminalEmulatorInsideWidget : TerminalEmulator {
 
+		import arsd.core : EnableSynchronization;
+		mixin EnableSynchronization;
+
 		private ScrollbackBuffer sbb() { return scrollbackBuffer; }
 
 		void resized(int w, int h) {
@@ -9467,8 +9470,8 @@ version(TerminalDirectToEmulator) {
 				if(this.font.isNull) {
 					// carry on, it will try a default later
 				} else if(this.font.isMonospace) {
-					this.fontWidth = font.averageWidth;
-					this.fontHeight = font.height;
+					this.fontWidth = castFnumToCnum(font.averageWidth);
+					this.fontHeight = castFnumToCnum(font.height);
 				} else {
 					this.font.unload(); // can't really use a non-monospace font, so just going to unload it so the default font loads again
 				}