X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.ml;h=7965b20e4549e9d23c263339ac81ff178953370a;hb=6e75e2415b0433a134e0050d63d627a66efea7a4;hp=ed5582a16addba81466f650b03db99cbe9164afc;hpb=2cfd3d24d73634238d5eaf40f91e12c10fe28d71;p=helm.git

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index ed5582a16..7965b20e4 100644
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -650,7 +650,7 @@ class gui () =
       connect_menu_item main#ligatureButton self#nextSimilarSymbol;
       ignore(source_buffer#connect#after#insert_text 
        ~callback:(fun iter str -> 
-          if false && str = " " then 
+          if main#menuitemAutoAltL#active && str = " " then 
             ignore(self#expand_virtual_if_any iter " ")));
       ignore (findRepl#findEntry#connect#activate find_forward);
         (* interface lockers *)