Skip to content

Automatically refresh pdf when file on disk changes#155

Merged
PHPirates merged 5 commits into
masterfrom
pdf-refresh
Jun 20, 2026
Merged

Automatically refresh pdf when file on disk changes#155
PHPirates merged 5 commits into
masterfrom
pdf-refresh

Conversation

@PHPirates

@PHPirates PHPirates commented May 28, 2026

Copy link
Copy Markdown
Collaborator

Fix #150, however it needs to be checked if the performance of the file watcher is acceptable, and if there are no situations with unnecessary refresh.

  • Is there any downside to bypassing refreshAndFindFile? Maybe only use this direct check when called from the file watcher
  • Also implements fallback to refresh on focus gain

@PHPirates PHPirates merged commit f5db112 into master Jun 20, 2026
6 checks passed
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.

Reload document on change doesn't always reload on time

1 participant