This repository was archived by the owner on Oct 9, 2026. It is now read-only.

Repository navigation

Carry search hits through the plugin contract - #105

Open

sidkmenon wants to merge 5 commits into

drop-structural-changesfrom

search/plugin-contract

Commits on Oct 8, 2026
- Carry search highlights and unchanged files through the plugin contract
  sidkmenon
  committed
  1dfb019
- Keep fold states that hold a search hit open
  sidkmenon
  committed
  f2fdd57
- Leave search hits to the reader in removed-runs and summarize
  sidkmenon
  committed
  b3a5e93
- Let search hits take the place of changes in context
  sidkmenon
  committed
  52fabf1
- Give each leaf the id of its partner on the other side
  sidkmenon
  committed
  8a6e02a