MingaEditor.Renderer.WindowObservation (Minga v0.1.0)

Bounded renderer-to-editor viewport and buffer-version observation.

Summary

t()

Captures the editor-owned fields observed while rendering one buffer window.

@type t() :: %MingaEditor.Renderer.WindowObservation{
  buffer: pid(),
  buffer_version: non_neg_integer(),
  viewport: MingaEditor.Viewport.t()
}

@spec from_window(MingaEditor.Renderer.RenderWindow.t()) :: t() | nil

Captures the editor-owned fields observed while rendering one buffer window.