diff -r 7d176764756d -r 087cc9216f28 ui/gtk/text.h
--- a/ui/gtk/text.h	Sun Feb 11 15:44:33 2024 +0100
+++ b/ui/gtk/text.h	Sun Feb 11 22:06:23 2024 +0100
@@ -76,7 +76,7 @@
 void ui_textarea_destroy(GtkWidget *object, UiTextArea *textarea);
 
 char* ui_textarea_get(UiText *text);
-void ui_textarea_set(UiText *text, char *str);
+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_setposition(UiText *text, int pos);
@@ -108,7 +108,7 @@
 void ui_textfield_changed(GtkEditable *editable, UiTextField *textfield);
 
 char* ui_textfield_get(UiString *str);
-void ui_textfield_set(UiString *str, char *value);
+void ui_textfield_set(UiString *str, const char *value);
 
 #ifdef	__cplusplus
 }