From 96a8f10324c1358a82f5085dcaf3a30a7cbec390 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 5 Jan 2009 16:06:53 +0000 Subject: [PATCH] expand ligatures after \n too --- helm/software/matita/matitaGui.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 _ = -- 2.39.2