Topic: VSCode toc
Patrick Massot (Jun 13 2020 at 12:40):
It would be nice if the VSCode extension could generate a table of contents for a file based on intermediate
/-! ## Title -/, like what vim-tex does.
Gabriel Ebner (Jun 13 2020 at 12:42):
This is not too hard. Do you also want auto-folding?
Last updated: Aug 03 2023 at 10:10 UTC