Method refresh

repl/src/editor.rs:189–213

Refreshes the contents of the whole `console`, using the previously queried `console_size`. It is the responsibility of the caller to move the cursor back to the appropriate location after calling this function, and the caller should also hide the cursor before calling this function.

(&self, console: &mut dyn Console, console_size: CharsXY)

    /// after calling this function, and the caller should also hide the cursor before calling this
    /// function.
    fn refresh(&self, console: &mut dyn Console, console_size: CharsXY) -> io::Result<()> {
        console.set_color(TEXT_COLOR.0, TEXT_COLOR.1)?;
        console.clear(ClearType::All)?;
        self.refresh_status(console, console_size)?;
        console.set_color(TEXT_COLOR.0, TEXT_COLOR.1)?;
        console.locate(CharsXY::default())?;

        let mut row = self.viewport_pos.line;
        let mut printed_rows = 0;
        while row < self.content.len() && printed_rows < console_size.y - 1 {
            let line = &self.content[row];
            let line_len = line.len();
            if line_len > self.viewport_pos.col {
                console.print(&line.range(
                    self.viewport_pos.col,
                    self.viewport_pos.col + usize::from(console_size.x),
                ))?;
            } else {
                console.print("")?;
            }
            row += 1;
            printed_rows += 1;
        }
        Ok(())
    }

    /// Refreshes only the line under the cursor, using the previously queried `console_size`.
    fn refresh_current_line(