Keeping track of locations of disambiguated ids and symbols.

[helm.git] / matitaB / matita / cicMathView.ml

diff --git a/matitaB/matita/cicMathView.ml b/matitaB/matita/cicMathView.ml
index d619482de46779081001caffab56a328dcd8c8ff..685324580dca09012135aec314f655889b296457 100644 (file)
--- a/matitaB/matita/cicMathView.ml
+++ b/matitaB/matita/cicMathView.ml
@@ -242,7 +242,7 @@ object (self)
   initializer
     self#source_buffer#set_language (Some MatitaGtkMisc.matita_lang);
     self#source_buffer#set_highlight_syntax true;
-    self#set_editable false;
+    self#set_editable false; 
     MatitaMisc.observe_font_size
      (fun size ->
        self#misc#modify_font_by_name