Open garydeng01 opened 1 month ago
Do you expect it to search also in annotations that are not open (those that only open when you pass the mouse on them), or in all of them?
This seems interesting and if the maintainers like the feature I will probably submit a PR at some point, but maybe it should be opt-in through a checkbox in the search bar,
Do other PDF Viewers even support something like this, since this really does seem like something that could add a whole bunch of additional complexity to the find implementation!?
Do you expect it to search also in annotations that are not open (those that only open when you pass the mouse on them), or in all of them?
This seems interesting and if the maintainers like the feature I will probably submit a PR at some point, but maybe it should be opt-in through a checkbox in the search bar,
For my use case, I would prefer that the search includes the popup annotations that are not open. Perhaps navigating to such a match would then open the popup and highlight the text within? I'm not sure what most users would prefer, but this seems like a reasonable way for it to function.
Attach (recommended) or Link to PDF file
popup_example.pdf
Web browser and its version
Chrome 124.0.6367.92
Operating system and its version
Windows 10 Enterprise 22H2
PDF.js version
v4.5.136
Is the bug present in the latest PDF.js version?
Yes
Is a browser extension
No
Steps to reproduce the problem
What is the expected behavior?
PDF.JS's search module finds the matching "seashells" phrase in the expanded popup annotation.
What went wrong?
PDF.JS's search module does not find the matching "seashells" phrase in the expanded popup annotation.
Link to a viewer
No response
Additional context
No response