ui/gtk/text.h

changeset 1149
76b7664f951e
parent 1103
4ba6f75d8966
child 1153
f15375e0480c
--- a/ui/gtk/text.h	Thu May 28 21:18:33 2026 +0200
+++ b/ui/gtk/text.h	Fri May 29 15:40:31 2026 +0200
@@ -131,7 +131,19 @@
 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_changed(GtkTextBuffer *textbuffer, UiTextArea *textarea);
+void ui_textbuf_changed_insert(
+        GtkTextBuffer *textbuffer,
+        GtkTextIter *location,
+        char *text,
+        int length,
+        UiTextArea *textarea);
+void ui_textbuf_changed_delete(
+        GtkTextBuffer *self,
+        const GtkTextIter *start,
+        const GtkTextIter *end,
+        UiTextArea *textarea);
+void ui_textbuf_changed(UiTextArea *textarea, UiTextChangeEventData *data);
 
 void ui_textbuf_insert(
         GtkTextBuffer *textbuffer,

mercurial