From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 5 Oct 2010 15:21:46 +0000 (+0000)
Subject: -textual widget no longer editable
X-Git-Tag: make_still_working~2807
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d541d1b9cc3cffedf0d1903a39cd4683e1e6ef97;p=helm.git

-textual widget no longer editable
---

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 3f538ac45..f11354904 100644
--- 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