mupdf-rs icon indicating copy to clipboard operation
mupdf-rs copied to clipboard

Fix `doc_id` type in `begin_tile`

Open messense opened this issue 3 weeks ago • 1 comments

messense avatar Dec 22 '25 13:12 messense

Hm, I'm not quite sure what the intention is. I think they would want doc_ids to start at 1 since the JS docs mention that doc_ids of zero are used to indicate no caching (like it is for id). If that's the case than using NonZero would be correct already. But currently it seems to me like the first document would not be cached.

Maybe it's worth opening an issue against mupdf to ask about this oddity?

ginnyTheCat avatar Dec 22 '25 17:12 ginnyTheCat