diff -r c584149b22f0 -r a5f3abf8b9d1 ui/gtk/text.h
--- a/ui/gtk/text.h	Wed Mar 05 21:35:36 2025 +0100
+++ b/ui/gtk/text.h	Wed Mar 05 22:09:22 2025 +0100
@@ -111,6 +111,9 @@
 UIWIDGET ui_textarea_var(UiObject *obj, UiVar *var);
 void ui_textarea_destroy(GtkWidget *object, UiTextArea *textarea);
 
+void ui_textarea_save(UiText *text);
+void ui_textarea_restore(UiText *text);
+void ui_textarea_text_destroy(UiText *text);
 char* ui_textarea_get(UiText *text);
 void ui_textarea_set(UiText *text, const char *str);
 char* ui_textarea_getsubstr(UiText *text, int begin, int end);