--- a/ui/gtk/toolkit.c	Wed Dec 31 11:36:42 2025 +0100
+++ b/ui/gtk/toolkit.c	Wed Dec 31 12:37:09 2025 +0100
@@ -282,7 +282,7 @@
     free(userdata);
 }
 
-void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data) {
+void ui_destroy_vardata(GtkWidget *unused, UiVarEventData *data) {
     if(data->var) {
         ui_destroy_boundvar(data->obj->ctx, data->var);
     }