Skip to content

Explain the verifier's generated names on hover and link them to their lines - #199

Merged
CatarinaGamboa merged 2 commits into
mainfrom
feat/195-generated-name-hover
Nov 11, 2026
Merged

Explain the verifier's generated names on hover and link them to their lines#199
CatarinaGamboa merged 2 commits into
mainfrom
feat/195-generated-name-hover

Use the line tag of a generated binder when its position is not known

1e96c37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar