removed some dead code

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 3c323a3c2e090596601deafa9a1188ed0be4ef26..60b2bcdf8f4dd3003150b49d68921f3daa0580cc 100644 (file)
--- 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