diff -r 4bed9458d355 -r 83bb0dd7123f ui/gtk/toolkit.h
--- a/ui/gtk/toolkit.h	Sun Oct 19 21:17:21 2025 +0200
+++ b/ui/gtk/toolkit.h	Mon Oct 20 21:16:53 2025 +0200
@@ -180,6 +180,8 @@
 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_set_widget_ngroups(UiContext *ctx, GtkWidget *widget, const int *groups, size_t ngroups);
+void ui_set_widget_visibility_states(UiContext *ctx, GtkWidget *widget, const int *states);
+void ui_set_widget_nvisibility_states(UiContext *ctx, GtkWidget *widget, const int *states, size_t ngroups);
 
 void ui_destroy_userdata(GtkWidget *object, void *userdata);
 void ui_destroy_vardata(GtkWidget *object, UiVarEventData *data);