Searched refs:user_widths (Results 1 – 1 of 1) sorted by relevance
57 const text::widths_vector& user_widths) in override_column_widths() argument59 PRE(user_widths.size() <= table.ncolumns()); in override_column_widths()63 for (text::widths_vector::size_type i = 0; i < user_widths.size(); ++i) { in override_column_widths()64 const text::widths_vector::value_type& user_width = user_widths[i]; in override_column_widths()