self#_showGviz
method private tex () =
- let text = String.concat "\n"
- (List.map (fun (k,vs) ->
- let vs =
- List.sort (fun a b -> String.length a - String.length b) vs
- in
- let vs =
- if List.length vs < 4 then vs else
- let vs, _ = HExtlib.split_nth 4 vs in vs
- in
- k ^ "\t" ^ String.concat ", " vs)
- (Utf8Macro.pp_table ()))
- in
- self#_loadText text
+ let b = Buffer.create 1000 in
+ List.iter
+ (fun tag, items ->
+ Printf.bprintf b "%s:\n" tag;
+ List.iter
+ (fun names, symbol ->
+ Printf.bprintf b "\t%s\t%s\n"
+ (Glib.Utf8.from_unichar symbol)
+ (String.concat ", " names))
+ (List.sort
+ (fun (_,a) (_,b) -> compare a b)
+ items);
+ Printf.bprintf b "\n")
+ (List.sort
+ (fun (a,_) (b,_) -> compare a b)
+ (Virtuals.get_all_virtuals ()));
+ self#_loadText (Buffer.contents b)
method private _loadText text =
searchText#source_buffer#set_text text;