--- a/ui/gtk/toolkit.c	Thu Dec 05 20:02:30 2024 +0100
+++ b/ui/gtk/toolkit.c	Fri Dec 06 13:11:09 2024 +0100
@@ -300,6 +300,10 @@
     free(data);
 }
 
+void ui_destroy_widget_var(GtkWidget *object, UiVar *var) {
+    ui_destroy_boundvar(NULL, var);
+}
+
 void ui_destroy_boundvar(UiContext *ctx, UiVar *var) {
     uic_unbind_var(var);
     
@@ -362,6 +366,18 @@
 ".ui_label_title {\n"
 "  font-weight: bold;\n"
 "}\n"
+".ui-listbox-header {\n"
+"  font-weight: bold;\n"
+"  margin-left: 10px;\n"
+"  margin-top: 12px;\n"
+"  margin-bottom: 10px;\n"
+"}\n"
+".ui-listbox-header-first {\n"
+"  font-weight: bold;\n"
+"  margin-left: 10px;\n"
+"  margin-top: 4px;\n"
+"  margin-bottom: 10px;\n"
+"}\n"
 ;
 
 #elif GTK_MAJOR_VERSION == 3