Hi, folks:
Would it improve the user experience if documents had source code location indexes, and even if there were location indexes between documents?
(as shown in the images below).
The index between document and source code.
The index between document and document.
