diff: ui/gtk/text.h
ui/gtk/text.h
- changeset 1067
- 4243fcc0aa5c
- parent 1065
- cb3c1fcecaa0
--- a/ui/gtk/text.h Sun Feb 01 11:42:27 2026 +0100 +++ b/ui/gtk/text.h Sun Feb 01 18:38:06 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_showposition(UiText *text, int pos); 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);
