Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

org-pdftools integration #75

Closed
wants to merge 15 commits into from
Closed

org-pdftools integration #75

Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
8ae5866
Add function to convert old format note to new format note
fuxialexander Aug 4, 2019
7c60589
Add integration with org-pdftools
fuxialexander Aug 6, 2019
e5b17df
Add function `org-noter-jump-to-note`
fuxialexander Aug 6, 2019
3cc17fe
add option to ensure uniqueness in org id across different PDFs
fuxialexander Aug 7, 2019
67e3524
Fix org-id generation
fuxialexander Aug 7, 2019
24d31b0
require org-id and warn about org-noter-use-org-id
fuxialexander Aug 7, 2019
36e0367
fix org-pdftools-get-link calling
fuxialexander Aug 7, 2019
e684558
fixes
fuxialexander Aug 7, 2019
269aa88
fix org-noter-convert-old-heading height calculation
fuxialexander Aug 8, 2019
1788347
try modify the org-noter-create-skeleton
fuxialexander Aug 8, 2019
e6a0e95
bug fixes
fuxialexander Aug 8, 2019
7fa5422
fixes
fuxialexander Aug 8, 2019
e324b59
add support for org-pdftools pdf-isearch link and finish refactor org…
fuxialexander Aug 8, 2019
6ca02ec
bug fixes
fuxialexander Aug 8, 2019
27898d9
bug fixes
fuxialexander Aug 8, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading