ui/gtk/menu.c

changeset 801
e096c441e874
parent 798
504c45926386
child 836
5a8485ff7f54
--- a/ui/gtk/menu.c	Sun Oct 05 13:30:19 2025 +0200
+++ b/ui/gtk/menu.c	Sun Oct 05 18:13:15 2025 +0200
@@ -33,6 +33,7 @@
 
 #include "menu.h"
 #include "toolkit.h"
+#include "widget.h"
 #include "../common/context.h"
 #include "../common/menu.h"
 #include "../common/types.h"

mercurial