60     text::widths_vector widths = table.column_widths();  in override_column_widths()  local
67                     user_width >= widths[i],  in override_column_widths()
70             widths[i] = user_width;  in override_column_widths()
74     return widths;  in override_column_widths()
87 find_refill_column(const text::widths_vector& widths)  in find_refill_column()  argument
90     for (; i < widths.size(); ++i) {  in find_refill_column()
91         if (widths[i] == text::table_formatter::width_refill)  in find_refill_column()
112 refill_widths(text::widths_vector& widths,  in refill_widths()  argument
119     const std::size_t total_padding = column_padding * (widths.size() - 1);  in refill_widths()
124         find_refill_column(widths);  in refill_widths()
125     INV(refill_column < widths.size());  in refill_widths()
128     for (text::widths_vector::size_type i = 0; i < widths.size(); ++i) {  in refill_widths()
130             width += widths[i];  in refill_widths()
132     widths[refill_column] = max_width - width;  in refill_widths()
171 refill_cell(const text::table_row& row, const text::widths_vector& widths,  in refill_cell()  argument
176                                                          widths[column]);  in refill_cell()
185                 textual_rows[i][j] = pad_cell(rows[i], widths[j], is_last);  in refill_cell()
188                     textual_rows[i][j] = pad_cell("", widths[j], is_last);  in refill_cell()
205 format_row(const text::table_row& row, const text::widths_vector& widths,  in format_row()  argument
208     PRE(row.size() == widths.size());  in format_row()
213         if (widths[column] > row[column].length())  in format_row()
214             textual_rows[0][column] = pad_cell(row[column], widths[column],  in format_row()
217             refill_cell(row, widths, column, textual_rows);  in format_row()
415         widths_vector widths = override_column_widths(t, _column_widths);  in format()  local
417             refill_widths(widths, _table_width, _separator.length());  in format()
421                 format_row(*iter, widths, _separator);  in format()