--- a/ui/gtk/text.h	Sun Jun 14 10:52:28 2026 +0200
+++ b/ui/gtk/text.h	Sun Jun 14 11:07:38 2026 +0200
@@ -132,6 +132,7 @@
 void ui_textarea_selection(UiText *text, int *begin, int *end);
 int ui_textarea_length(UiText *text);
 void ui_textarea_remove(UiText *text, int begin, int end);
+void ui_textarea_setreadonly(UiText *text, int readonly);
 
 void ui_textarea_realize_event(GtkWidget *widget, gpointer data);
 //void ui_textbuf_changed(GtkTextBuffer *textbuffer, UiTextArea *textarea);