diff -r 979c0e0ee853 -r fe94e0fb9ef3 ui/motif/text.h
--- a/ui/motif/text.h	Fri Mar 28 20:03:49 2014 +0100
+++ b/ui/motif/text.h	Sat Mar 29 12:15:39 2014 +0100
@@ -56,6 +56,8 @@
     
 char* ui_textarea_get(UiText *text);
 void ui_textarea_set(UiText *text, char *str);
+char* ui_textarea_getsubstr(UiText *text, int begin, int end);
+void ui_textarea_insert(UiText *text, int pos, char *str);
 
 UiUndoMgr* ui_create_undomgr();
 void ui_text_modify_callback(Widget widget, UiText *value, XtPointer data);