[latex3-commits] [latex3/latex2e] latexlab/properties: make label unique (7f70886d)

[github at latex-project.org]

Repository : https://github.com/latex3/latex2e
On branch  : latexlab/properties
Link       : https://github.com/latex3/latex2e/commit/7f70886d7512bb99e7efa1fa87b4257d1082545b

>---------------------------------------------------------------

commit 7f70886d7512bb99e7efa1fa87b4257d1082545b
Author: Ulrike Fischer <fischer at troubleshooting-tex.de>
Date:   Sat Sep 16 23:17:30 2023 +0200

    make label unique


>---------------------------------------------------------------

7f70886d7512bb99e7efa1fa87b4257d1082545b
 required/latex-lab/latex-lab-footnotes.dtx | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/required/latex-lab/latex-lab-footnotes.dtx b/required/latex-lab/latex-lab-footnotes.dtx
index 2c2045bc..2cbb3b94 100644
--- a/required/latex-lab/latex-lab-footnotes.dtx
+++ b/required/latex-lab/latex-lab-footnotes.dtx
@@ -1727,7 +1727,7 @@
  {
    \cs_set_protected:Npn \@@_label_hook:e #1
     {
-      \property_record:xx {#1} {fnote/struct}
+      \property_record:xx {@@/#1} {fnote/struct}
     }
  }
 %    \end{macrocode}
@@ -1853,13 +1853,13 @@
          {
            \exp_not:N\fnote_gput_refs:ee
             { \tag_get:n{struct_num} }
-            { \property_ref:ee{ \l_@@_currentlabel_tl } {fnote/struct} }
+            { \property_ref:ee{ @@/\l_@@_currentlabel_tl } {fnote/struct} }
          }
 %    \end{macrocode}
 %    in this case we set the name of the linktarget in the note
 %    to the structure number of the text mark.
 %    \begin{macrocode}
-        \tl_set:Nx \l_@@_linktarget_tl {footnote*.\property_ref:ee {\l_@@_currentlabel_tl} {fnote/struct}}
+        \tl_set:Nx \l_@@_linktarget_tl {footnote*.\property_ref:ee {@@/\l_@@_currentlabel_tl} {fnote/struct}}
       }
 %    \end{macrocode}
 % And now the actual content