method select_location_opt = function
      None -> ()
    | Some loc -> self#select_location loc