From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Nov 2002 15:04:59 +0000 (+0000)
Subject: Small interface improvement: selecting something in the proof does not
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6f3ab477470346319eefd663bae4ec8a74eee2eb;p=helm.git

Small interface improvement: selecting something in the proof does not
unload any more the current sequent.
---

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index ff9396213..8d63437c4 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -2167,7 +2167,6 @@ object
   (* signal handlers here *)
   ignore(output#connect#selection_changed
    (function elem ->
-     notebook#proofw#unload ;
      choose_selection output elem ;
      !focus_and_proveit_set_sensitive true
    )) ;