Searched refs:user_max_width (Results 1 – 1 of 1) sorted by relevance
113 const text::widths_vector::value_type user_max_width, in refill_widths() argument116 PRE(user_max_width != 0); in refill_widths()121 user_max_width, total_padding) - total_padding; in refill_widths()