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);