diff -r 9068a5c7caf6 -r 80a6d8923d75 ui/gtk/widget.c
--- a/ui/gtk/widget.c	Sun Mar 30 10:14:27 2025 +0200
+++ b/ui/gtk/widget.c	Sun Mar 30 10:37:35 2025 +0200
@@ -54,3 +54,7 @@
 void ui_widget_set_size(UIWIDGET w, int width, int height) {
     gtk_widget_set_size_request(w, width, height);
 }
+
+void ui_widget_redraw(UIWIDGET w) {
+    gtk_widget_queue_draw(w);
+}