From a764cfdbdfaecaa02f2fff0234fe1a198e0e34b5 Mon Sep 17 00:00:00 2001
From: vgross
Date: Mon, 14 Sep 2009 12:25:56 +0000
Subject: removed the double-click / proof hiding association.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12328 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 8954c154c9..c0dfb9e6ea 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1540,19 +1540,6 @@ object(self)
                                             prerr_endline "Should recenter : yes";
                                             self#recenter_insert
                                           end));
-
-      ignore (let last_left_click = ref 0 in
-        (input_view :> GText.view)#event#connect#button_release
-                (fun b ->
-                   let click_time = Int32.to_int (GdkEvent.Button.time b) in
-                   if GdkEvent.Button.button b = 1
-                   then (if (click_time - !last_left_click < !current.fold_delay_ms)
-                         then (let cav = session_notebook#current_term.analyzed_view in
-                                 cav#toggle_proof_visibility cav#get_insert; true)
-                         else (last_left_click := click_time; false))
-                   else false));
-      
-
 end
 
 let last_make = ref "";;
-- 
cgit v1.2.3