diff: ui/gtk/text.h
ui/gtk/text.h
- changeset 33
- 458831c574f4
- parent 29
- c96169444d88
- child 65
- 4697592e24ba
--- a/ui/gtk/text.h Sat Apr 12 13:44:53 2014 +0200 +++ b/ui/gtk/text.h Sat May 10 15:43:22 2014 +0200 @@ -66,6 +66,7 @@ int ui_textarea_position(UiText *text); 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_realize_event(GtkWidget *widget, gpointer data); void ui_textbuf_insert(
