snapshot

[helm.git] / helm / matita / matitaMathView.ml

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index cdbc51e41f98488bb1c20a4081be158ec3d3e782..bb62f51c98d334818e64eb013b6300e0ca783e3e 100644 (file)
--- 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