<div dir="ltr"><p style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">There is something wrong with “Search all open files” operation.</p><ol style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium"><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/">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 style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">I do not know if I can explain this correctly.</p><p style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">There is also another problem with searching through all open files, difficult to explain and describe:</p><ul style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium"><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><p style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">Using Version 0.7 ("launchpad") [r.09ca9ef0, 19.02.2022 08:16] and Version 0.7 ("launchpad") [r.38b640b3, 21.02.2022 16:31]. Ubuntu 21.10</p><p style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">Best regards</p><p style="color:rgb(0,0,0);font-family:"Times New Roman";font-size:medium">Wojtek</p><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">---(___C'></div></div>