[Texmacs-dev] Bug? in the Linking tool

[Krzysztof Retel]

Hi,

I'm working with linking tool and reusing it in my macros. I noticed 
that there is a bug in while extracting: loci (Link -> Extract -> Loci)  
where the Loci surrounds the theorem-like environment macros. The 
problem appears with preserving the environment numbers of the locified 
environment.

For example, we have text annotated like that:

Theorem 1. text of  theorem

Proposition 2. text of proposition 2.

When we attached loci to the Proposition 2. and we extract Loci, it will 
show on the produced sub-window: Proposition 1.
I attach the example file.

For those who doesn't try it yet: To have linking tool working properly, 
we need TeXmacs ver. > 1.0.6.7, and switch on the tool using:  Edit -> 
Preferences -> Utilities -> Linking Tool.

Kind Regards
Krzysztof Retel

<TeXmacs|1.0.6.7>

<style|generic>

<\body>
  <\theorem>
    lkjaldkfjadf
  </theorem>

  <locus|<id|+o3PiB6iOsT1k6W>|<\proposition>
    lkjlajdlfadf
  </proposition>>

  \;
</body>

<\initial>
  <\collection>
    <associate|preamble|false>
  </collection>
</initial>

<\links>
  <\collection>
    <id|+o3PiB6iOsT1k6P>
    <target|+O4mU7Deh9M{BgC|Link page>
    <target|+o3PiB6iOsT1k6N|ex12.tm - loci>
    <locator|+o3PiB6iOsT1k6s|<id|+O4mU7Deh9M{BgC>>
    <locator|+o3PiB6iOsT1k6u|<id|+o3PiB6iOsT1k6N>>
  </collection>
</links>