Make GtkTextView not editable

3 files changed, 10 insertions, 1 deletions

diff --git a/src/Gtk/Internal.dcl b/src/Gtk/Internal.dcl
index f4436b8..eda7f32 100644
--- a/src/Gtk/Internal.dcl
+++ b/src/Gtk/Internal.dcl
@@ -35,6 +35,7 @@ gtk_text_buffer_insert_at_cursor :: !Pointer !String !Int !.a -> .a
 
 gtk_text_view_new :: !.a -> (!Pointer, !.a)
 gtk_text_view_get_buffer :: !Pointer -> Pointer
+gtk_text_view_set_editable :: !Pointer !Bool !.a -> .a
 
 gtk_widget_set_size_request :: !Pointer !Int !Int !.a -> .a
 gtk_widget_show :: !Pointer !.a -> .a
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"
diff --git a/src/Gtk/Widgets.icl b/src/Gtk/Widgets.icl
index b630549..5413dd5 100644
--- a/src/Gtk/Widgets.icl
+++ b/src/Gtk/Widgets.icl
@@ -85,7 +85,10 @@ instance gtkWidget GtkTextView where gtkWidget tv = tv
 instance gtkContainer GtkTextView where gtkContainer tv = tv
 
 newTextView :: State GtkState GtkTextView
-newTextView = toStateR 'I'.gtk_text_view_new >>= show
+newTextView =
+	toStateR 'I'.gtk_text_view_new >>= \text_view ->
+	toState ('I'.gtk_text_view_set_editable text_view False) >>|
+	show text_view
 
 getTextBuffer :: !GtkTextView -> GtkTextBuffer
 getTextBuffer text_view = 'I'.gtk_text_view_get_buffer text_view