Struct MarkdownEditorView 

pub struct MarkdownEditorView {
    pub layout: WordWrapLayout,
    pub lines_snapshot: Vec<String>,
    pub cursor_snapshot: (usize, usize),
    pub last_cursor_screen: Option<(u16, u16)>,
    /* private fields */
}

Fields

layout: WordWrapLayout

lines_snapshot: Vec<String>

cursor_snapshot: (usize, usize)

last_cursor_screen: Option<(u16, u16)>

Cursor’s last on-screen position (col, row), or None when the cursor was scrolled off-screen or the view was unfocused at the time of the previous render. Used as the anchor for floating overlays like the autocomplete popup, which is drawn after the editor itself.

Implementations

impl MarkdownEditorView

pub fn new() -> Self

pub fn last_parse_was_incremental(&self) -> bool

Returns Some(generation) if Gate 1 just installed a placeholder ParsedBuffer and the owning component should spawn a background full parse for this generation. Consumes the flag so the owner does not spawn twice; the owner is responsible for calling install_full_parse when the task completes. Whether the most recent Gate 1 invocation took the incremental splice path. Read-only diagnostic for the incremental-parse property tests (tui/tests/incremental_property.rs); not part of the production render path.

pub fn take_pending_full_parse(&mut self) -> Option<u64>

pub fn install_full_parse(&mut self, generation: u64, buf: ParsedBuffer)

Install the result of a background full parse. No-op when the editor has advanced past generation — that result is stale and a fresh spawn is already in flight. Invalidates the layout + rendered_cache so the next update() rebuilds Gate 2 against the fresh ParsedBuffer.

pub fn update( &mut self, snap: &EditorSnapshot<'_>, rect: Rect, selection: Option<((usize, usize), (usize, usize))>, )

pub fn render( &mut self, f: &mut Frame<'_>, rect: Rect, theme: &Theme, focused: bool, )

pub fn parsed_buffer_kinds(&self) -> &[LineConstructKind]

Test accessor: the kinds vector of the current parsed buffer. Used by the proptest harness to assert incremental = full parse.

pub fn parsed_buffer_lines(&self) -> &[ParsedLine]

Test accessor: the parsed lines of the current parsed buffer.

pub fn click_at_screen( &self, screen_row: usize, screen_col: usize, ) -> (u16, u16)

Markdown-aware mouse click: maps a rendered screen column to the correct logical column, accounting for hidden markdown sigils (links, bold markers, etc.).

Reads self’s view-internal caches (layout, lines_snapshot, parsed_buffer), all rebuilt from the same EditorSnapshot in the last update() call. The snapshot invariant guarantees vl.logical_row is a valid index into both lines_snapshot and parsed_buffer.lines, so direct indexing is safe — the previous defensive (Some, Some) else fallback block (Fix #2 in the holistic review) is no longer needed. Map a screen-relative click (row/col offset from the editor’s top-left corner) to logical (row, col). Owns the visual-scroll-offset arithmetic so callers do not reach into visual_scroll_offset — the view knows where it is scrolled.

Trait Implementations

impl Clone for MarkdownEditorView

fn clone(&self) -> MarkdownEditorView

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for MarkdownEditorView

fn default() -> Self

Returns the “default value” for a type.