From 5fb71f80caa1499c681e21c032410ff44686ace4 Mon Sep 17 00:00:00 2001
From: Alec Murphy <alec@checksum.fail>
Date: Thu, 10 Apr 2025 10:58:30 -0400
Subject: [PATCH] System/Libraries/Widget: Eager repaint on widget->SetText()
 unless otherwise specified

---
 System/Libraries/Widget.HC | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/System/Libraries/Widget.HC b/System/Libraries/Widget.HC
index a516505..001bcc6 100644
--- a/System/Libraries/Widget.HC
+++ b/System/Libraries/Widget.HC
@@ -308,6 +308,8 @@ U0 @gui_widget_set_text(Widget* widget, U8* text)
     default:
         break;
     }
+    if (!widget->parent_win->explicit_repaint)
+        Gui.Window.Refresh(widget->parent_win);
 }
 
 Bool @widget_is_hovered(I64 x, I64 y, Widget* widget)
@@ -831,4 +833,4 @@ Gui.Widget.ClearMousePointer = &@gui_widget_clear_mouse_pointer;
 Gui.Widget.SetOpacity = &@gui_widget_set_opacity;
 Gui.Widget.SetText = &@gui_widget_set_text;
 
-"widget ";
\ No newline at end of file
+"widget ";