Method refresh_status

repl/src/editor.rs:147–182

Rewrites the status line at the bottom of the `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_status(&self, console: &mut dyn Console, console_size: CharsXY) -> io::Result<()> {
        // Even though we track file positions as 0-indexed, display them as 1-indexed for a better
        // user experience given that this is what all other editor seem to do.
        let dirty_marker = if self.dirty { "*" } else { "" };
        let long_details = format!(
            " | {}{} | Ln {}, Col {} ",
            self.name.as_deref().unwrap_or("<NO NAME>"),
            dirty_marker,
            self.file_pos.line + 1,
            self.file_pos.col + 1
        );

        let width = usize::from(console_size.x);
        let mut status = String::with_capacity(width);
        if KEYS_SUMMARY.len() + long_details.len() >= width {
            let short_details = format!(" {}:{} ", self.file_pos.line + 1, self.file_pos.col + 1);
            if short_details.len() < width {
                while status.len() < width - short_details.len() {
                    status.push(' ');
                }
            }
            status.push_str(&short_details);
        } else {
            status.push_str(KEYS_SUMMARY);
            while status.len() < width - long_details.len() {
                status.push(' ');
            }
            status.push_str(&long_details);
        }
        status.truncate(width);

        console.locate(CharsXY::new(0, console_size.y - 1))?;
        console.set_color(STATUS_COLOR.0, STATUS_COLOR.1)?;
        console.write(&status)?;
        Ok(())
    }

    /// Refreshes the contents of the whole `console`, using the previously queried `console_size`.
    ///