From f027f163cd3de891019de1c40940a4a9d48c9a19 Mon Sep 17 00:00:00 2001 From: jcalabro Date: Tue, 25 Oct 2022 10:36:47 -0400 Subject: [PATCH] better source file links --- lib/docs/main.js | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/lib/docs/main.js b/lib/docs/main.js index 36f47cc92d..9024dea783 100644 --- a/lib/docs/main.js +++ b/lib/docs/main.js @@ -1857,8 +1857,10 @@ var zigAnalysis; ""; } else { payloadHtml += escapeHtml(opts.fnDecl.name); + payloadHtml = "" + + escapeHtml(opts.fnDecl.name) + ""; } - payloadHtml += renderSourceFileLink(opts.fnDecl); payloadHtml += ""; } } else { @@ -2326,12 +2328,12 @@ var zigAnalysis; } } } - function renderSourceFileLink(decl) { - let srcNode = getAstNode(decl.src); - return "[src]"; + function sourceFileLink(decl) { + const srcNode = getAstNode(decl.src); + return sourceFileUrlTemplate. + replace("{{file}}", zigAnalysis.files[srcNode.file]). + replace("{{line}}", srcNode.line + 1); } function renderContainer(container) { @@ -2458,7 +2460,8 @@ var zigAnalysis; fnDecl: decl, linkFnNameDecl: navLinkDecl(decl.name), }); - tdFnSrc.innerHTML = renderSourceFileLink(decl); + tdFnSrc.innerHTML = "[src]"; let docs = getAstNode(decl.src).docs; if (docs != null) {