footnote reverse link (#36)

banana-space · Nov 11, 2023 · 7bcbc97 · 7bcbc97
1 parent 6f65b1f
commit 7bcbc97
Showing 1 changed file with 30 additions and 1 deletion.
diff --git a/src/lib/init.btx b/src/lib/init.btx
@@ -1219,14 +1219,23 @@
 
 \newcounter{actualfootnote}
 
+\newcounter{footnoteorigin}
+
+\newcounter{footnoteoriginref}
+
 \def\@printfootnotes{}
 
+\gdef\@footnoteorigincollection{}
+
 \def\@footnotemark{%
     \@inc{g.ctr-footnote}%
     {%
         \@settrue{text-sup}%
         \@@set{ref-key}{footnote:{g.ctr-footnote}}%
         \@ref{\thefootnote}%
+        \@setfalse{text-sup}%
+        \@footnoteorigin%
+        \@patch\@footnoteorigincollection{\@footnoteoriginref}%
     }%
     \@dec{g.ctr-footnote}%
 }
@@ -1247,20 +1256,40 @@
     \@defexpand\@patch\@printfootnotes{\theactualfootnote}%
     \@patch\@printfootnotes{][}%
     \@defexpand\@patch\@printfootnotes{\thefootnote}%
-    \@patch\@printfootnotes{]#1}%
+    \@patch\@printfootnotes{]}%
+    \@defexpand\@patch\@printfootnotes{\@footnoteorigincollection}%
+    \@patch\@printfootnotes{#1}%
 }
 
 \let\footnotemark\@footnotemark
 
 \def\footnotetext#1{%
     \@inc{g.ctr-footnote}%
     \@footnotetext{#1}%
+    \gdef\@footnoteorigincollection{}%
+}
+
+\pdef\@footnoteorigin{%
+    \@inc{g.ctr-footnoteorigin}%
+    \@@def\@currentlabel{^}%
+    \@@set{ref-prefix}{o}%
+    \@@bmk%
+    \@@label{footnote-origin:{g.ctr-footnoteorigin}}%
+}
+
+\def\@footnoteoriginref{%
+    {
+        \@inc{g.ctr-footnoteoriginref}
+        \@@set{ref-key}{footnote-origin:{g.ctr-footnoteoriginref}}%
+        \@ref{\thefootnoteoriginref}%
+    }
 }
 
 \def\footnote#1{\footnotemark\footnotetext{#1}}
 
 \def\printfootnotes{%
     {%
+        \@@set{g.ctr-footnoteoriginref}{0}%
         \@@set{g.list-classes}{footnotes}%
         \begin{@list}%
             \@printfootnotes%