SCENARIO: Concurrent editors of the same document should be aware of which blocs are being edited (see #251).#417

Merged

benel merged 4 commits into

mainfrom

Jun 14, 2026

Commits on Jun 14, 2026

SCENARIO: Concurrent editors of the same document should be aware of which blocs are being edited (see #251).

authored and
benel
committed
TEST: Concurrent editors of the same document should be aware of which blocs are being edited (see #251).

authored and
benel
committed
IMPROVEMENT: Concurrent editors of the same document should be aware of which blocs are being edited (fixes #251).

authored and
benel
committed
PROCESS: Footprint evaluation should not wait for the EventSource to close.

nathanncrt
authored and
benel
committed