method validate () =
      let s = wview#buffer#get_text () in
      match remain with
      |        [] -> ()
      |        Conflict _ :: q ->
          Buffer.add_string resolved s ;
          let tag = wview_1#buffer#create_tag [`FOREGROUND "DarkGreen"in
          wview_1#buffer#insert ~tags: [tag] s;
          remain <- q ;
          wview#buffer#set_text "";
          current_conflict <- None;
          wl_status#set_text
            (Odiff_messages.conflicts_to_resolve self#remaining_conflicts);
          wb_validate#misc#set_sensitive false ;
          wb_skip#misc#set_sensitive false ;
          wview#set_editable false ;
          self#resolve_next
      |        _ :: q ->
          ()