method show_next_diff = match find_next line diffs with | None -> () | Some n -> wlist#moveto n 0 ; wlist#select n 0 ; line <- n + 1;