diff -r 9a5f47fbc5c3 -r 458831c574f4 ui/gtk/text.h
--- 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(