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