Skip to content

Pause live output follow while reading#3936

Open
lnieuwenhuis wants to merge 20 commits into
pingdotgg:mainfrom
lnieuwenhuis:codex/pause-stream-auto-scroll
Open

Pause live output follow while reading#3936
lnieuwenhuis wants to merge 20 commits into
pingdotgg:mainfrom
lnieuwenhuis:codex/pause-stream-auto-scroll

Clear temporary minimap follow guard

7be9742
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Collect PR targets
succeeded Jul 20, 2026 in 3s