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

1 files changed, 0 insertions, 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 "";;