Add a document outline: headings in a pop-up, and a panel that follow… - #4

Add a document outline: headings in a pop-up, and a panel that follow…#4

ZhuZhengyi wants to merge 1 commit into

ArchAstro:mainArchAstro/stet:mainfrom

Jzice:feat-outlineJzice/stet:feat-outlineCopy head branch name to clipboard