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); |
|
61 |
59 void ui_textarea_realize_event(GtkWidget *widget, gpointer data); |
62 void ui_textarea_realize_event(GtkWidget *widget, gpointer data); |
60 void ui_textbuf_insert( |
63 void ui_textbuf_insert( |
61 GtkTextBuffer *textbuffer, |
64 GtkTextBuffer *textbuffer, |
62 GtkTextIter *location, |
65 GtkTextIter *location, |
63 char *text, |
66 char *text, |