The deep search can also be used for in-pdf search.
Currently the in-pdf search is offline and based on pdf.js.
The pdf.js search is much less powerful than the backend deep search.
It is also slower.
The idea is to add a connected version of the in-pdf search.
A new button should be added to the search field that is active by default.
Search results should be highlighted just like for the offline version.
The deep search can also be used for in-pdf search. Currently the in-pdf search is offline and based on pdf.js. The pdf.js search is much less powerful than the backend deep search. It is also slower.
The idea is to add a connected version of the in-pdf search. A new button should be added to the search field that is active by default. Search results should be highlighted just like for the offline version.