From 17f3e1cffa837a95be525be6c0df4a0380fe38ac Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Thu, 13 May 2021 13:30:59 -0400
Subject: [PATCH] new minigui

---
 terminal.d | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/terminal.d b/terminal.d
index dcd34b1..f9a26d8 100644
--- a/terminal.d
+++ b/terminal.d
@@ -8009,7 +8009,12 @@ version(TerminalDirectToEmulator) {
 			terminalEmulator.attentionReceived();
 		}
 
-		override MouseCursor cursor() { return GenericCursor.Text; }
+		static class Style : Widget.Style {
+			override MouseCursor cursor() {
+				return GenericCursor.Text;
+			}
+		}
+		mixin OverrideStyle!Style;
 
 		override void erase(WidgetPainter painter) { /* intentionally blank, paint does it better */ }