From 6f3ab477470346319eefd663bae4ec8a74eee2eb Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Nov 2002 15:04:59 +0000
Subject: [PATCH] Small interface improvement: selecting something in the proof
 does not unload any more the current sequent.

---
 helm/gTopLevel/gTopLevel.ml | 1 -
 1 file changed, 1 deletion(-)

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
    )) ;
-- 
2.39.2