Searched refs:old_fragment (Results 1 – 1 of 1) sorted by relevance
320 let old_fragment = fragments.last().unwrap(); in readline() localVariable322 self.printer.cursor_left(old_fragment.len()); in readline()323 self.printer.delete(old_fragment.len()); in readline()