Skip to content

Conversation

JorjMcKie
Copy link
Collaborator

Restate the role of filetype when opening a document.

The most important detail is removing the statement that a specified filetype will be cross-checked with the resulting document type after opening: this is wrong.
The parameter's only role is to help finding the document type. If MuPDF's file content inspection was successful, filetype will always be ignored.

@JorjMcKie JorjMcKie merged commit 264747c into main Sep 25, 2025
3 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Sep 25, 2025
@JorjMcKie JorjMcKie deleted the clarify-filetype branch September 25, 2025 12:44
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants