From 6f22bfb3ed94075b198ed626ce607461f45e1c28 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Mar 2012 15:31:30 +0000 Subject: [PATCH] Minor speed up in the code. --- matita/matita/cicMathView.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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); -- 2.39.2