Find text in PDF files (and better PDF support)

gp This is because it is using the native webkit pdf reader.

Done (seems to have feature parity with safari)

find in text on pdf is not done. it still doesn't work

And pdf.js from Mozilla is live in latest RC and it looks beautiful

⌘+F works beautifully on the newest RC alongside all pdf.js features

Still not working for me on macOS 13.3.1 with Orion Version 0.99.123.3-beta (WebKit 615.1.16.1).

Example 1: Search for "Vision" in this pdf: https://arxiv.org/pdf/2204.12484.pdf. Safari returns 82 results for "Vision", Orion returns 0.

Example 2: Same test as rosenrot

Open https://www.mouser.com/pdfdocs/BST-BMX160-DS000-11.pdf and search for the word "bosch". Returning zero results.

This feature still doesn’t appear to work. No searched words are highlighted, and it doesn’t scroll in the document.

Rediwed Pls make a separate post. this post is over a year old