method show_prev_diff = match find_prev line diffs with | None -> () | Some n -> wlist#moveto n 0 ; wlist#select n 0