method grey_lines =
      let lremain = List.length remain in
      let linfo = List.length info in
      let n = linfo - lremain - 1 in
      (* n < 0 if lremain = linfo *)
      if n >= 0 then
        (
         try
           let (pos1, l1) = List.nth lines1 n in
           let (pos2, l2) = List.nth lines2 n  in
           for i = pos1 to (pos1 + l1 - 1) do
             ignore (wlist1#set_row ~foreground: (`NAME "Grey") i)
           done;
           for i = pos2 to (pos2 + l2 - 1) do
             ignore (wlist2#set_row ~foreground: (`NAME "Grey") i)
           done
         with
           Invalid_argument s ->
             prerr_endline s
        )