ui/gtk/text.h

changeset 103
6606616eca9f
parent 100
d2bd73d28ff1
--- 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);

mercurial