Skip to content

Remove has_redlines?#2

Merged
neilberkman merged 1 commit intomainfrom
remove-has-redlines
Feb 8, 2026
Merged

Remove has_redlines?#2
neilberkman merged 1 commit intomainfrom
remove-has-redlines

Conversation

@neilberkman
Copy link
Copy Markdown
Contributor

Summary

  • Remove has_redlines?/1 from the public API and PDF.has_redlines?/2 delegation
  • Remove "Checking for Changes" section from README
  • Bump pdf_redlines dep to ~> 0.7.0, version to 0.6.0

Changes

Callers should use Redlines.extract/2 and check result.changes == []. The pre-check was a heuristic that risked false negatives and doubled the PDF rendering cost when redlines were found.

Depends on pdf_redlines 0.7.0 being published first.

Breaking: removes has_redlines?/1 and the PDF.has_redlines?/2
delegation. Bumps pdf_redlines dep to ~> 0.7.0.
@neilberkman neilberkman merged commit 3f6ef7f into main Feb 8, 2026
1 check passed
@neilberkman neilberkman deleted the remove-has-redlines branch February 8, 2026 18:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant