Lines Matching refs:len_chars
32 let len = rope.len_chars(); in remove_small()
48 let len = rope.len_chars(); in remove_small()
64 let len = rope.len_chars(); in remove_small()
80 let len = rope.len_chars(); in remove_small()
102 let len = rope.len_chars(); in remove_medium()
118 let len = rope.len_chars(); in remove_medium()
134 let len = rope.len_chars(); in remove_medium()
150 let len = rope.len_chars(); in remove_medium()
172 let len = rope.len_chars(); in remove_large()
188 let len = rope.len_chars(); in remove_large()
204 let len = rope.len_chars(); in remove_large()
220 let len = rope.len_chars(); in remove_large()
242 let len = rope_clone.len_chars(); in remove_initial_after_clone()