This repository was archived by the owner on Nov 25, 2025. It is now read-only.
- Fix bug that showed random whitespace highlightings the first time a new PDF was opened
See also: 📣 Good news: The official extension may soon make this obsolete!
Full Changelog: v0.2.4.0...v0.2.4.1
Note that the extension will not automatically update when new versions are released. To update the extension, download the latest release and repeat the installation steps. You can watch the GitHub repository to receive notifications of new releases.
Caution
Annotations may be lost when updating or reloading the extension. Export them in settings beforehand, then import them afterward to prevent data loss.