method set_titles l =
      if List.length l <> List.length cols_display then
        failwith "Bad number of titles"
      else
        List.iter2
          (fun title c -> c#set_title title)
          l
          view_cols