mirror of
https://github.com/Ark0N/Codeman.git
synced 2026-10-09 08:59:40 +02:00
docs(tiles): the replay pace, one refit per resize, the SSE filter, the line bound
The invariants for this performance pass: a tile's replay holds the load queue only while xterm parses it, and destroy() settles a replay in progress; the main terminal's resize timer refits the split's Pane B only, leaving grid tiles to the grid's observer; the page's SSE filter names TILE_GRID_SSE_FILTER while tiles own the terminal; grid tiles send lines= on their full captures. Plus an "As built" note in the spec, whose parking section still says the subscription stays [activeSessionId]. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This commit is contained in:
File diff suppressed because one or more lines are too long
@@ -53,6 +53,11 @@ or settled a question the spec left open. The invariants as built are in
|
||||
button (and its right-click picker), Ctrl/Cmd+click on a tab, a dragged tab, "Open group
|
||||
as tiles" and Run joining the open grid. Where this spec describes a `+`, it no longer
|
||||
exists.
|
||||
- **No SSE terminal stream while tiles own the terminal** (performance pass): the filter
|
||||
names a fixed id no session takes (`TILE_GRID_SSE_FILTER`), not `[activeSessionId]` as
|
||||
"Parking the main terminal" below says; the server's filter gates only terminal
|
||||
batches, so lifecycle and hook events are unaffected, and leaving the grid
|
||||
re-subscribes the shown session.
|
||||
- **A tile that joins before its pane exists resends its size when the pid appears**
|
||||
(`TerminalTile.paneStarted()`): the server drops a resize for a session with no PTY and
|
||||
spawns at 120x40, and Run's own resize measures the parked main terminal. Applying a
|
||||
|
||||
Reference in New Issue
Block a user