X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.ml;fp=helm%2Fsoftware%2Fmatita%2FmatitaGui.ml;h=ded9c83aa46dee4136af781f481d0a469321841c;hb=96a8f10324c1358a82f5085dcaf3a30a7cbec390;hp=8117947d11b5662c933ce4f833d059115bb6c3a6;hpb=cfb29525a97a9506b8200934b28ff34a30aa516b;p=helm.git

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 8117947d1..ded9c83aa 100644
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -652,8 +652,8 @@ class gui () =
       connect_menu_item main#ligatureButton self#nextSimilarSymbol;
       ignore(source_buffer#connect#after#insert_text 
        ~callback:(fun iter str -> 
-          if main#menuitemAutoAltL#active && str = " " then 
-            ignore(self#expand_virtual_if_any iter " ")));
+          if main#menuitemAutoAltL#active && (str = " " || str = "\n") then 
+            ignore(self#expand_virtual_if_any iter str)));
       ignore (findRepl#findEntry#connect#activate find_forward);
         (* interface lockers *)
       let lock_world _ =