--- a/ui/gtk/text.h Tue Feb 25 21:11:00 2025 +0100 +++ b/ui/gtk/text.h Sat Apr 05 16:46:11 2025 +0200 @@ -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);