Method edit_interactively

repl/src/editor.rs:274–511

Internal implementation of the interactive editor, which interacts with the `console`.

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

    /// Internal implementation of the interactive editor, which interacts with the `console`.
    async fn edit_interactively(&mut self, console: &mut dyn Console) -> io::Result<()> {
        let console_size = console.size_chars()?;

        if self.content.is_empty() {
            self.content.push(LineBuffer::default());
        }

        let mut refresh = RefreshKind::Full;
        loop {
            // The key handling below only deals with moving the insertion position within the file
            // but does not bother to update the viewport. Adjust it now, if necessary.
            let width = usize::from(console_size.x);
            let height = usize::from(console_size.y);
            if self.file_pos.line < self.viewport_pos.line {
                self.viewport_pos.line = self.file_pos.line;
                refresh.upgrade(RefreshKind::Full);
            } else if self.file_pos.line > self.viewport_pos.line + height - 2 {
                if self.file_pos.line > height - 2 {
                    self.viewport_pos.line = self.file_pos.line - (height - 2);
                } else {
                    self.viewport_pos.line = 0;
                }
                refresh.upgrade(RefreshKind::Full);
            }

            if self.file_pos.col < self.viewport_pos.col {
                self.viewport_pos.col = self.file_pos.col;
                refresh.upgrade(RefreshKind::Full);
            } else if self.file_pos.col >= self.viewport_pos.col + width {
                self.viewport_pos.col = self.file_pos.col - width + 1;
                refresh.upgrade(RefreshKind::Full);
            }

            // TODO(jmmv): We must handle the cursor visibility outside of the non-sync block
            // because the current console implementation forces the cursor to be invisible
            // when syncing is disabled.  This is suboptimal and should be fixed by decoupling
            // the two properties...
            console.hide_cursor()?;
            match refresh {
                RefreshKind::Full => self.refresh(console, console_size)?,
                RefreshKind::CurrentLine => {
                    self.refresh_status(console, console_size)?;
                    self.refresh_current_line(console, console_size)?;
                }
                RefreshKind::None => {
                    self.refresh_status(console, console_size)?;
                    console.set_color(TEXT_COLOR.0, TEXT_COLOR.1)?;
                }
            }
            refresh = RefreshKind::None;
            let cursor_pos = {
                let x = self.file_pos.col - self.viewport_pos.col;
                let y = self.file_pos.line - self.viewport_pos.line;
                if cfg!(debug_assertions) {
                    CharsXY::new(
                        u16::try_from(x).expect("Computed x must have fit on screen"),
                        u16::try_from(y).expect("Computed y must have fit on screen"),
                    )