From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 19 Jul 2005 17:24:48 +0000 (+0000)
Subject: Unuseful code removed.
X-Git-Tag: V_0_7_2~158
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3e8f729a0e48566f9d1941cad2feec099880665f;p=helm.git

Unuseful code removed.
---

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 38f8cb784..65a18df55 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -228,7 +228,6 @@ class gui () =
             if mark_iter#offset < locked_iter_offset then
              begin
               source_view#buffer#move_mark `INSERT ~where:mark_iter;
-              source_view#buffer#move_mark `SEL_BOUND ~where:mark_iter;
               (MatitaScript.instance ())#goto `Cursor ();
              end;
             (* phase 4: we perform again the undo. This time we are sure that