X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;h=03e50588f4b98cea91c45a1d39ade776440f2b64;hb=da59a744767c799ad287489c55f2ff972f93d93c;hp=4ca67368fce43a6d4fe880ad2c75f956f5d518b5;hpb=40a09a72c4e86256ace6e8b26942d1bd2238534b;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 4ca67368f..03e50588f 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -725,12 +725,6 @@ class gui () =
       let top = locker (keep_focus top) in
       let bottom = locker (keep_focus bottom) in
       let jump = locker (keep_focus jump) in
-      let connect_key sym f =
-        connect_key main#mainWinEventBox#event
-          ~modifiers:[`CONTROL] ~stop:true sym f;
-        connect_key self#sourceView#event
-          ~modifiers:[`CONTROL] ~stop:true sym f
-      in
         (* quit *)
       self#setQuitCallback (fun () -> 
         let lexicon_status = (MatitaScript.current ())#lexicon_status in