Searched defs:current_width (Results 1 – 4 of 4) sorted by relevance
112 const INDEX_TYPE current_width = row_split(i + 1) - row_split(i); in GetMaxWidthRowSplit() local
124 let current_width = current_width.unwrap_or(100); in term_w() localVariable
125 let current_width = current_width.unwrap_or(100); in term_w() localVariable