could you consider to change the background color of the code editor text found through the Ctrl+F combo from white to red\green\blue…?
Maybe the green is the best choice, given its role in the interface.
This could let finding the text at a glance, especially in case of fast scrolling.
Imho, finding white, with no border, on 0.90 gray is a bit “stressful”.
You can easily change that yourself by opening the files lib/thirdparty/*.xshd and setting the bgcolor of “SearchResult” to your desired value.
Cool… no text …
Very cool, indeed.
At this point I guess there’s always such a file for an editor. Well, the more you know…