From c3eb2df6572479850bd087b5bc9ba948297f76cf Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 8 Sep 2005 10:38:05 +0000
Subject: [PATCH] removed some dead code

---
 helm/matita/matitaGui.ml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 3c323a3c2..60b2bcdf8 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -129,11 +129,6 @@ class gui () =
       ~default:BuildTimeConf.default_font_size "matita.font_size"
   in
   let source_buffer = source_view#source_buffer in
-(*   let _ =
-    source_view#event#connect#selection_clear (fun _ ->
-      prerr_endline "source_view: selection clear";
-      false)
-  in *)
   object (self)
     val mutable chosen_file = None
     val mutable _ok_not_exists = false
-- 
2.39.2