Loading plugins/side_toc/side_toc.xq 0 → 100644 +8 −0 Changes for plugins/side_toc/side_toc.xq: 8 added lines, 0 removed lines. Original line number Diff line number Diff line declare variable $baseURI external; declare variable $dbPath external; declare variable $project external; declare variable $doc external; declare variable $id external; <a class="side-toc-link" href="{$baseURI}{$project}/side_toc/{$doc}/toc.html" style="display:none;">{$baseURI}{$project}/side_toc/{$doc}/toc.html</a> plugins/side_toc/side_toc.xqm +1 −1 Changes for plugins/side_toc/side_toc.xqm: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -9,5 +9,5 @@ function max.plugin.side_toc:toc2($project, $routeDoc){ let $toc := max.toc:getDocumentTOC($project, $routeDoc) let $currentUrl := request:uri() (:hidden link for "statification":) return <div class='side-toc'><a href="{$currentUrl}" style="display:none;">{$currentUrl}</a>{$toc}</div> return <div class='side-toc'>{$toc}</div> }; No newline at end of file Loading
plugins/side_toc/side_toc.xq 0 → 100644 +8 −0 Changes for plugins/side_toc/side_toc.xq: 8 added lines, 0 removed lines. Original line number Diff line number Diff line declare variable $baseURI external; declare variable $dbPath external; declare variable $project external; declare variable $doc external; declare variable $id external; <a class="side-toc-link" href="{$baseURI}{$project}/side_toc/{$doc}/toc.html" style="display:none;">{$baseURI}{$project}/side_toc/{$doc}/toc.html</a>
plugins/side_toc/side_toc.xqm +1 −1 Changes for plugins/side_toc/side_toc.xqm: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -9,5 +9,5 @@ function max.plugin.side_toc:toc2($project, $routeDoc){ let $toc := max.toc:getDocumentTOC($project, $routeDoc) let $currentUrl := request:uri() (:hidden link for "statification":) return <div class='side-toc'><a href="{$currentUrl}" style="display:none;">{$currentUrl}</a>{$toc}</div> return <div class='side-toc'>{$toc}</div> }; No newline at end of file