# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1755544292 -7200
# Node ID 4415b91e74bff537cfd2cda5f7a4f712db4206c1
# Parent  1493b6ca77e5f1bd80d12057c9e788bc09e672cf
fix build

diff -r 1493b6ca77e5 -r 4415b91e74bf ui/common/args.h
--- a/ui/common/args.h	Thu Aug 14 21:29:40 2025 +0200
+++ b/ui/common/args.h	Mon Aug 18 21:11:32 2025 +0200
@@ -38,6 +38,7 @@
 #include "../ui/tree.h"
 #include "../ui/text.h"
 #include "../ui/webview.h"
+#include "../ui/widget.h"
 
 #ifdef __cplusplus
 extern "C" {