For those following this thread and using the new search
functionality, I pushed several changes that have been requested
earlier (list of commits:
https://github.com/pkulchenko/ZeroBraneStudio/issues/416; repository
link: https://github.com/pkulchenko/ZeroBraneStudio).
I've added an option to show different tabs with search results (this
is supported in both cases, when the results are shown as editor tabs
or next to the Output panel). I also added the text being searched to
the tab name to allow easily distinguish between different search
results. All the other functionality (like replacing from the preview)
stayed the same. I also re-used the existing shortcut that closes
pages (Ctrl/Cmd-W) to also close search results (even when they are in
the bottom notebook).
Give this new version a try and let me know if anything doesn't
look/work right. This is going into the next release that is planned
for later this week. Thank you.
Paul.
