--- a/ui/gtk/text.h Sat Nov 11 08:34:06 2017 +0100 +++ b/ui/gtk/text.h Sat Nov 11 11:59:06 2017 +0100 @@ -81,6 +81,8 @@ void ui_textarea_remove(UiText *text, int begin, int end); void ui_textarea_realize_event(GtkWidget *widget, gpointer data); +void ui_textbuf_changed(GtkTextBuffer *textbuffer, UiTextArea *textarea); + void ui_textbuf_insert( GtkTextBuffer *textbuffer, GtkTextIter *location, @@ -97,6 +99,7 @@ int ui_check_insertstr(char *oldstr, int oldlen, char *newstr, int newlen); void ui_textfield_destroy(GtkWidget *object, UiTextField *textfield); +void ui_textfield_changed(GtkEditable *editable, UiTextField *textfield); char* ui_textfield_get(UiString *str); void ui_textfield_set(UiString *str, char *value);