Make GtkTextView not editable

1 files changed, 5 insertions, 0 deletions

diff --git a/src/Gtk/Internal.icl b/src/Gtk/Internal.icl
index 56e9f4e..3321bf2 100644
--- a/src/Gtk/Internal.icl
+++ b/src/Gtk/Internal.icl
@@ -122,6 +122,11 @@ gtk_text_view_get_buffer text_view = code {
 	ccall gtk_text_view_get_buffer "p:p"
 }
 
+gtk_text_view_set_editable :: !Pointer !Bool !.a -> .a
+gtk_text_view_set_editable text_view setting env = code {
+	ccall gtk_text_view_set_editable "pI:V:A"
+}
+
 gtk_widget_set_size_request :: !Pointer !Int !Int !.a -> .a
 gtk_widget_set_size_request widget hsize vsize env = code {
 	ccall gtk_widget_set_size_request "pII:V:A"