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