--- a/ui/gtk/display.h	Thu Feb 15 21:12:54 2024 +0100
+++ b/ui/gtk/display.h	Thu Feb 15 21:31:15 2024 +0100
@@ -36,6 +36,9 @@
 extern "C" {
 #endif
 
+char* ui_label_get(UiString *s);
+void ui_label_set(UiString *s, const char *value);
+    
 UIWIDGET ui_progressbar_var(UiObject *obj, UiVar *var);
 double ui_progressbar_get(UiDouble *d);
 void ui_progressbar_set(UiDouble *d, double value);