ui/gtk/text.h

changeset 1068
1c79dbd248f4
parent 1067
4243fcc0aa5c
--- a/ui/gtk/text.h	Sun Feb 01 18:38:06 2026 +0100
+++ b/ui/gtk/text.h	Mon Feb 02 20:59:13 2026 +0100
@@ -117,7 +117,8 @@
 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);
-void ui_textarea_insert(UiText *text, int pos, char *str);
+void ui_textarea_insert(UiText *text, int pos, const char *str);
+void ui_textarea_replace(UiText *text, int begin, int end, const char *replacement);
 void ui_textarea_setposition(UiText *text, int pos);
 int ui_textarea_position(UiText *text);
 void ui_textarea_showposition(UiText *text, int pos);

mercurial