Repository navigation
Add a document outline: headings in a pop-up, and a panel that follow… - #4
Open
ZhuZhengyi wants to merge 1 commit into
Open
ZhuZhengyi wants to merge 1 commit into
ZhuZhengyi wants to merge 1 commit into
Commits
Commits on Oct 15, 2026