-textual widget no longer editable

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 3f538ac4571b08d3dd185abfec2edb20eefcc6ce..f11354904b6296ec31f3b2bb9d3896ba5b6f0a10 100644 (file)
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -205,7 +205,8 @@ object (self)
   initializer
     self#set_font_size !current_font_size;
     self#source_buffer#set_language (Some MatitaGtkMisc.matita_lang);
-    self#source_buffer#set_highlight_syntax true
+    self#source_buffer#set_highlight_syntax true;
+    self#set_editable false
 
 (* MATITA1.0
   inherit GMathViewAux.multi_selection_math_view obj