From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Mar 2012 15:31:30 +0000 (+0000)
Subject: Minor speed up in the code.
X-Git-Tag: make_still_working~1899
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6f22bfb3ed94075b198ed626ce607461f45e1c28;p=helm.git

Minor speed up in the code.
---

diff --git a/matita/matita/cicMathView.ml b/matita/matita/cicMathView.ml
index 81c89360a..e06e0055d 100644
--- a/matita/matita/cicMathView.ml
+++ b/matita/matita/cicMathView.ml
@@ -192,9 +192,7 @@ object (self)
          (Cic.id, Cic.id option) Hashtbl.t * ('a, 'b) Hashtbl.t * 'c option)*) option -> unit)
   (* dal widget di Luca *)
   method load_root ~root:(hyperlinks,text) =
-    self#buffer#delete ~start:(self#buffer#get_iter `START)
-    ~stop:(self#buffer#get_iter `END);
-    self#buffer#insert text;
+    self#buffer#set_text text;
     let all_tag = self#buffer#create_tag [] in
     self#buffer#apply_tag all_tag ~start:(self#buffer#get_iter `START)
      ~stop:(self#buffer#get_iter `END);