6 /*---------------------------------------------------------------------------*/
8 int text_add_char(Uint32, char *, int);
9 int text_del_char(char *);
10 int text_length(const char *);
12 /*---------------------------------------------------------------------------*/