Skip to content

The gutter catches up when HEAD moves in another pane - #377

Merged
jamescrosswell merged 1 commit into
mainfrom
feat/gutter-head-watch
Oct 2, 2026
Merged

jamescrosswell merged 1 commit into
mainfrom
feat/gutter-head-watch

Commits

Commits on Oct 1, 2026