Struct SyntheticDoc 

pub struct SyntheticDoc {
    pub buffer: Buffer,
    pub cursor: Position,
    pub origin_top_line: i32,
    pub frozen_at: u64,
    pub alt_screen: bool,
}

Frozen read-only view of the terminal’s scrollback + visible grid at the moment of an Insert → Normal transition. See docs/dev/architecture/terminal-as-document.md §3.2 for the build rules and §3.3 for the coord-translation invariants.

Fields

buffer: Buffer

Rope-backed buffer of the snapshot text. One rope line per grid line. Trailing-blank padding is stripped from each row so $ lands on the last visible character (matches what the user sees).

cursor: Position

Doc-space cursor at the moment of snapshot — the alacritty grid cursor translated to (rope line, byte column). For ASCII content, byte equals the grid column; wide-char handling is the open question in §7 of the design fragment.

origin_top_line: i32

Topmost alacritty grid line at build time. Doc line N corresponds to grid line origin_top_line + N. The publish-time coord adapter (T-paint-1) uses this to remap document-space ranges back to cell coordinates.

frozen_at: u64

Snapshot sequence captured at build time. Used by the jumplist re-resolution path to detect when the underlying scrollback has rolled and a recorded position needs best-effort re-resolution.

alt_screen: bool

True if the program was on the alt screen at build time. Alt-screen snapshots cover only the visible region (alt screen has no scrollback semantics).

Trait Implementations

impl Clone for SyntheticDoc

fn clone(&self) -> SyntheticDoc

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SyntheticDoc

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.