Method quick_refresh

repl/src/editor.rs:637–645

Records the console changes needed to incrementally update the editor, without going through a full refresh, assuming a `file_pos` position.

(mut self, file_pos: FilePos, cursor: CharsXY)

        /// Records the console changes needed to incrementally update the editor, without going
        /// through a full refresh, assuming a `file_pos` position.
        fn quick_refresh(mut self, file_pos: FilePos, cursor: CharsXY) -> Self {
            self.output.push(CapturedOut::HideCursor);
            self = self.refresh_status(file_pos);
            self.output.push(CapturedOut::SetColor(TEXT_COLOR.0, TEXT_COLOR.1));
            self.output.push(CapturedOut::Locate(cursor));
            self.output.push(CapturedOut::ShowCursor);
            self.output.push(CapturedOut::SyncNow);
            self
        }

        /// Records the console changes needed to refresh only the current line and the status bar.
        fn refresh_line(mut self, file_pos: FilePos, line: &str, cursor: CharsXY) -> Self {