Repository navigation

A second click on a highlighted net or a pinned part takes it off (#133) - #147

Merged

Gherkin merged 2 commits into

mainfrom

deselect-by-clicking-again

Oct 27, 2026

Merged

A second click on a highlighted net or a pinned part takes it off (#133)#147
Gherkin merged 2 commits into
mainfrom
deselect-by-clicking-again

Commits on Oct 27, 2026
- A second click on a highlighted net or a pinned part takes it off (#133)
  
  Gherkin
  and
  claude
  committed
  62dfa22
- Taking a net off does not leave a repeated walk step
  
  Gherkin
  and
  claude
  committed
  8d97049