54 int event; |
54 int event; |
55 } UiUndoMgr; |
55 } UiUndoMgr; |
56 |
56 |
57 char* ui_textarea_get(UiText *text); |
57 char* ui_textarea_get(UiText *text); |
58 void ui_textarea_set(UiText *text, char *str); |
58 void ui_textarea_set(UiText *text, char *str); |
|
59 char* ui_textarea_getsubstr(UiText *text, int begin, int end); |
|
60 void ui_textarea_insert(UiText *text, int pos, char *str); |
59 |
61 |
60 UiUndoMgr* ui_create_undomgr(); |
62 UiUndoMgr* ui_create_undomgr(); |
61 void ui_text_modify_callback(Widget widget, UiText *value, XtPointer data); |
63 void ui_text_modify_callback(Widget widget, UiText *value, XtPointer data); |
62 int ui_check_insertstr(char *oldstr, int oldlen, char *newstr, int newlen); |
64 int ui_check_insertstr(char *oldstr, int oldlen, char *newstr, int newlen); |
63 void ui_free_textbuf_op(UiTextBufOp *op); |
65 void ui_free_textbuf_op(UiTextBufOp *op); |