You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The annot-id is not a stable identifier because the index changes when removing annots with lower indexes. So I would propose to use the page and edges as a unique annot identifier (which is quite straightforward to implement in org-pdftools). I have implemented it in a very quick way, in this commit, however, that gets rid of the annot-id completely, so that it probably is not 100% compatible with org-noter-pdftools.el.
Or is there already some mechanism to keep the annot-id's in sync?
Anyway, you can look at the code for inspiration. I hope you find it a good idea.
The text was updated successfully, but these errors were encountered:
The annot-id is not a stable identifier because the index changes when removing annots with lower indexes. So I would propose to use the page and edges as a unique annot identifier (which is quite straightforward to implement in org-pdftools). I have implemented it in a very quick way, in this commit, however, that gets rid of the annot-id completely, so that it probably is not 100% compatible with
org-noter-pdftools.el
.Or is there already some mechanism to keep the annot-id's in sync?
Anyway, you can look at the code for inspiration. I hope you find it a good idea.
The text was updated successfully, but these errors were encountered: