--- a/ui/gtk/display.h	Sun May 23 09:44:43 2021 +0200
+++ b/ui/gtk/display.h	Sat Jan 04 16:38:48 2025 +0100
@@ -36,9 +36,14 @@
 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);
+int64_t ui_spinner_get(UiInteger *i);
+void ui_spinner_set(UiInteger *i, int64_t value);
 
 #ifdef	__cplusplus
 }