method set_row row t = let contents = f_contents t in List.iter2 (self#set_row_col row) disp_cols contents; store#set row datacol t