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
)