diff -r 794a5c91c479 -r c96169444d88 ui/gtk/text.h
--- a/ui/gtk/text.h	Sun Apr 06 13:21:37 2014 +0200
+++ b/ui/gtk/text.h	Thu Apr 10 11:37:41 2014 +0200
@@ -65,6 +65,7 @@
 void ui_textarea_insert(UiText *text, int pos, char *str);
 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_realize_event(GtkWidget *widget, gpointer data);
 void ui_textbuf_insert(