<div dir="ltr">Dear Stefan,<div><br></div><div>I think that the current version works ok again.</div><div><br></div><div>Thanks</div><div><br></div><div>Best regards</div><div>Wojtek</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">wt., 22 lut 2022 o 07:13 Stefan Löffler <<a href="mailto:st.loeffler@gmail.com">st.loeffler@gmail.com</a>> napisał(a):<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
    Dear Wojtek,<br>
    <br>
    <div>On 21.02.22 22:45, Wojciech Myszka
      wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">
        <p>There is something wrong with
          “Search all open files” operation.</p>
        <ol>
          <li>I have created three identical files (let's say
            a[123].tex) containing the first five paragraphs of lorem
            ipsum taken from <a href="https://lipsum.com/" target="_blank">lipsum.com</a>.</li>
          <li>The first search for the word “Cras” gives the correct
            result: lines no. 1, 5, and 9 (three times) in each file.</li>
          <li>Starting the search in the first file (a1.tex) <strong>after
              deletion</strong> of the last paragraph (now a1.tex is
            shorter, a2.tex and a3.tex are identical) searching for
            “Cras” gives incorrect results (the word is found only <strong>two
              times</strong> in each file — in lines 1 and 5)</li>
          <li>Starting the search from a2.tex (or a3) — results are
            correct (two times in a1, four times in a2 and a3)</li>
        </ol>
        <p>I do not know if I can explain
          this correctly.</p>
      </div>
    </blockquote>
    <br>
    I could reproduce it so they explanation was good :). Thanks a lot
    for spotting this. It should be fixed in the code now (automated
    builds are running and should hopefully complete in the next couple
    of minutes).<br>
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <p>There is also another problem
          with searching through all open files, difficult to explain
          and describe:</p>
        <ul>
          <li>starting the search from the file where the search string
            is absent gives a result <strong>not found</strong></li>
          <li>starting from the file where the search string is present
            gives <strong>correct</strong> results for this file and <strong>wrong</strong> results
            for other files (please check the attachment, where each
            “found place” is marked blue; the search word was
            “\\section”); well, OK—I really do not know when the problem
            appears for the first time, but it used to work earlier.</li>
        </ul>
      </div>
    </blockquote>
    <br>
    This is in fact the same problem. Essentially, instead of searching
    all open files, the code searched the same (current) file over and
    over again, just reporting the results (or lack thereof) as if they
    were coming from all the other open documents.<br>
    And you are right, the bug seems to have been introduced back in
    June 2021 in the course of some refactoring.<br>
    <br>
    Best regards,<br>
    Stefan<br>
  </div>

</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">---(___C'></div>