ui/gtk/text.h

changeset 1065
cb3c1fcecaa0
parent 486
a5f3abf8b9d1
--- a/ui/gtk/text.h	Thu Jan 29 19:01:52 2026 +0100
+++ b/ui/gtk/text.h	Thu Jan 29 20:55:59 2026 +0100
@@ -120,6 +120,7 @@
 void ui_textarea_insert(UiText *text, int pos, char *str);
 void ui_textarea_setposition(UiText *text, int pos);
 int ui_textarea_position(UiText *text);
+void ui_textarea_setselection(UiText *text, int begin, int end);
 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);

mercurial