method update_wlists =
wlist1#clear () ;
wlist2#clear () ;
let cpt1 = ref 0 in
let cpt2 = ref 0 in
List.iter
(fun i -> match i with
No_conflict s ->
let n = self#insert_string wlist1 s in
ignore (self#insert_string wlist2 s);
lines1 <- (!cpt1, n) :: lines1;
lines2 <- (!cpt2, n) :: lines2;
cpt1 := !cpt1 + n;
cpt2 := !cpt2 + n
| Conflict (s1, s2) ->
let n1 = self#insert_string ~emph: fst wlist1 s1 in
let n2 = self#insert_string ~emph: snd wlist2 s2 in
lines1 <- (!cpt1, n1) :: lines1;
lines2 <- (!cpt2, n2) :: lines2;
cpt1 := !cpt1 + n1;
cpt2 := !cpt2 + n2
)
info;
lines1 <- List.rev lines1 ;
lines2 <- List.rev lines2