4 files changed, 10 insertions, 0 deletions
diff --git a/src/Gtk/Internal.dcl b/src/Gtk/Internal.dcl
index 53f3366..69410d4 100644
--- a/src/Gtk/Internal.dcl
+++ b/src/Gtk/Internal.dcl
@@ -66,6 +66,7 @@ gtk_style_context_add_provider_for_screen :: !Pointer !Pointer !Int !.a -> .a
 gtk_style_context_remove_class :: !Pointer !String !.a -> .a
 
 gtk_text_buffer_insert_at_cursor :: !Pointer !String !Int !.a -> .a
+gtk_text_buffer_set_text :: !Pointer !String !Int !.a -> .a
 
 gtk_text_view_new :: !.a -> (!Pointer, !.a)
 gtk_text_view_get_buffer :: !Pointer -> Pointer
diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl
index 787a2c9..988ab3a 100644
--- a/src/Gtk/Internal.icl
+++ b/src/Gtk/Internal.icl
@@ -282,6 +282,11 @@ gtk_text_buffer_insert_at_cursor buffer string len env = code {
 	ccall gtk_text_buffer_insert_at_cursor "psI:V:A"
 }
 
+gtk_text_buffer_set_text :: !Pointer !String !Int !.a -> .a
+gtk_text_buffer_set_text buffer string len env = code {
+	ccall gtk_text_buffer_set_text "psI:V:A"
+}
+
 gtk_text_view_new :: !.a -> (!Pointer, !.a)
 gtk_text_view_new env = code {
 	ccall gtk_text_view_new ":p:A"
diff --git a/src/Gtk/Widgets.dcl b/src/Gtk/Widgets.dcl
index b6d6619..0335874 100644
--- a/src/Gtk/Widgets.dcl
+++ b/src/Gtk/Widgets.dcl
@@ -94,6 +94,7 @@ newScrolledWindow :: GtkM GtkScrolledWindow
 :: GtkTextBuffer
 
 insertAtCursor :: !String !GtkTextBuffer -> GtkM ()
+setText :: !String !GtkTextBuffer -> GtkM ()
 
 :: GtkTextView
 instance gtkWidget GtkTextView
diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index a2f0d00..5be2cea 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -175,6 +175,9 @@ newScrolledWindow = toStateR (gtk_scrolled_window_new 0 0) >>= show
 insertAtCursor :: !String !GtkTextBuffer -> GtkM ()
 insertAtCursor s buffer = toState (gtk_text_buffer_insert_at_cursor buffer s (size s))
 
+setText :: !String !GtkTextBuffer -> GtkM ()
+setText s buffer = toState (gtk_text_buffer_set_text buffer s (size s))
+
 :: GtkTextView :== Pointer
 
 instance gtkWidget GtkTextView where gtkWidget tv = tv