Using FIND across tabs in IDE fails to display found text

Using Arduino IDE 1.x
1

In the IDE when I use FIND and "Search all Sketch Tabs" often the text is found, but not visible because the Sketch is not scrolled to bring the relevant text line into view.

A workaround is to hit PREVIOUS then FIND again, to bring the text into view. But it's kinda annoying I still have to do this.

I expected it to be fixed with a new release of the IDE but it's still there after updating to 1.8.7

Has anyone else noticed this? Is there a fix?

TIA

2

When I need to search multiple tabs, I open them all in notepad++ and search there.

I haven't gotten to replacing the IDE editor by notepad++.

3

sterretje:
When I need to search multiple tabs, I open them all in notepad++ and search there.

I use notepad++ but not for Arduino. I use FIND often in my bigger sketches, so swapping to notepad++ all the time sounds a bit cumbersome (even though it does have a much better search functionality).

I'd just like the Arduino IDE to work properly!

4

I believe this is the same bug I reported to the Arduino developers some time ago:

I agree that it's very annoying.

5

Ah, thanks pert, that's what I wanted to know.

I see it was "self-assigned to matthijskooijman" way back in Jan 2017.

High time it was fixed ... is there any way to prompt Mr Kooijman to bump this up the priority list?

6

I believe matthijskooijman is a volunteer, not an Arduino employee. For this reason, I'm a bit hesitant to "nag" them but it has been quite a while with no activity. I've verified the bug still occurs with the hourly and beta builds of the IDE. You could leave a polite comment on the issue thread to see if that might get things rolling. matthijskooijman is a very prolific contributor to the Arduino project and does excellent work.

7

Happy to do that ... politely :slight_smile:

Do you mean the issue thread on GitHub or on this forum somewhere? I don't think I have a login on GitHub, but I can join easy enuf.

8

Yes, I mean the issue thread on GitHub. GitHub accounts are free and it's easy to sign up. It's a really great website. Since it's by far the most popular place to host Arduino projects (and really any programming projects), you're likely to want to get an account eventually regardless.