--- a/ui/gtk/toolkit.h	Mon Oct 21 15:47:10 2024 +0200
+++ b/ui/gtk/toolkit.h	Tue Oct 22 21:17:01 2024 +0200
@@ -159,6 +159,7 @@
 int ui_get_scalefactor();
 
 void ui_set_name_and_style(GtkWidget *widget, const char *name, const char *style);
+void ui_set_widget_groups(UiContext *ctx, GtkWidget *widget, const int *groups);
 
 void ui_destroy_userdata(GtkWidget *object, void *userdata);
 void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data);