- let text = String.concat "\n"
- (List.map (fun (k,vs) -> "\t" ^ k ^ "\t" ^ String.concat ", " vs)
- (Utf8Macro.pp_table ()))
- in
- let w = MatitaGtkMisc.new_search_win "Tex/UTF8 table" text in
- w#toplevel#set_transient_for (main#toplevel#as_window);
- w#toplevel#show ());