ui/gtk/toolkit.c

changeset 100
d2bd73d28ff1
parent 96
493959648de6
--- a/ui/gtk/toolkit.c	Fri Nov 29 22:21:36 2024 +0100
+++ b/ui/gtk/toolkit.c	Thu Dec 12 20:01:43 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
@@ -380,6 +396,21 @@
 ".ui_label_title {\n"
 "  font-weight: bold;\n"
 "}\n"
+"placessidebar row {\n"
+"  padding-left: 10px;\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"
 ;
 #endif
 

mercurial