X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=bb62f51c98d334818e64eb013b6300e0ca783e3e;hb=e09713d333183e929f108ff8bb8fbe2a25bfcac7;hp=cdbc51e41f98488bb1c20a4081be158ec3d3e782;hpb=142d3076f2a4dc17d9045c2bba4d4b01eddfd008;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cdbc51e41..bb62f51c9 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -236,7 +236,9 @@ class sequents_viewer ~(notebook:GPack.notebook)
     method private render_page ~page ~goal =
       sequent_viewer#load_sequent _metasenv goal;
       try
-        List.assoc goal goal2win ()
+        List.assoc goal goal2win ();
+        debug_print "set_selection none";
+        sequent_viewer#set_selection None
       with Not_found -> assert false
 
     method goto_sequent goal =
@@ -246,7 +248,7 @@ class sequents_viewer ~(notebook:GPack.notebook)
         with Not_found -> assert false
       in
       notebook#goto_page page;
-      self#render_page page goal
+      self#render_page page goal;
 
   end