--- a/ui/ui/text.h	Thu Dec 10 13:43:25 2020 +0100
+++ b/ui/ui/text.h	Fri Dec 11 11:46:19 2020 +0100
@@ -38,6 +38,8 @@
 UIWIDGET ui_textarea(UiObject *obj, UiText *value);
 UIWIDGET ui_textarea_nv(UiObject *obj, char *varname);
 
+UIWIDGET ui_textarea_gettextwidget(UIWIDGET textarea);
+
 void ui_text_undo(UiText *value);
 void ui_text_redo(UiText *value);