Fix duplicate-heading ToC jumps in the editor - #335
Draft
PathGao wants to merge 31 commits into
Draft
Commits
Commits on Jul 31, 2026
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


Commits on Aug 1, 2026
- authored andcommitted

