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