better tex/utf8 win

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 5d9d87c865dd045743d59c8d14d876aa2d3e7760..c1f9a992a37eb43c005feecfebf0a9aa99f38e48 100644 (file)
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -913,10 +913,10 @@ class gui () =
       connect_menu_item main#showUnicodeTable
         (fun _ -> 
            let text = String.concat "\n"
-            (List.map (fun (k,vs) -> "\t" ^ k ^ "\t" ^ String.concat ",  " vs)
+            (List.map (fun (k,vs) -> k ^ "\t" ^ String.concat ",  " vs)
              (Utf8Macro.pp_table ())) 
            in
-           let w = MatitaGtkMisc.new_search_win "Tex/UTF8 table" text in
+           let w = MatitaGtkMisc.new_search_win "TeX/UTF8 table" text in
            w#toplevel#set_transient_for (main#toplevel#as_window);
            w#toplevel#show ());
          (* script monospace font stuff *)