- let w = GWindow.window ~resizable:true
- ~position:`CENTER_ON_PARENT
- ~title:"Tex/UTF8 table" ~width:640 ~height:400 () in
- w#set_transient_for (main#toplevel#as_window);
- let s = GBin.scrolled_window () in
- (w :> GContainer.container)#add (s :> GObj.widget);
- let t = GTree.view () in
- let m = new MatitaGtkMisc.multiStringListModel ~cols:2 t in
- List.iter (fun (k,vs) ->
- m#easy_mappend [k;String.concat " " vs])
- (Utf8Macro.pp_table ());
- s#add (t:>GObj.widget);
- w#show ());