--- a/ui/gtk/toolkit.h Sun Jul 13 11:02:45 2025 +0200 +++ b/ui/gtk/toolkit.h Sun Jul 13 11:38:27 2025 +0200 @@ -131,6 +131,7 @@ ui_callback callback; void *userdata; int value; + int customint; void *customdata; } UiEventData;