Searched refs:user_width (Results 1 – 1 of 1) sorted by relevance
64 const text::widths_vector::value_type& user_width = user_widths[i]; in override_column_widths() local65 if (user_width != text::table_formatter::width_auto) { in override_column_widths()66 PRE_MSG(user_width == text::table_formatter::width_refill || in override_column_widths()67 user_width >= widths[i], in override_column_widths()70 widths[i] = user_width; in override_column_widths()