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

Jump to bottom

Bookmark inserted inside the document body #612

Closed
ktraunmueller opened this issue Nov 23, 2024 · 1 comment
Closed

Bookmark inserted inside the document body #612

ktraunmueller opened this issue Nov 23, 2024 · 1 comment
Labels
bug
Milestone
1.27

Comments

@ktraunmueller
Copy link
Owner

The security-scoped bookmark for the document folder (the %! \bookmark[document=....]) may not be inserted at the very end of the document if the document contains the string \end{document} in the document body (e.g., wrapped in a verbatim command).
@ktraunmueller ktraunmueller added this to the 1.27 milestone Nov 23, 2024
@ktraunmueller
Copy link
Owner Author

Fixed in 1.27

@github-project-automation github-project-automation bot moved this to Done in Mac App Nov 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
Mac App
Status: Done
Milestone
1.27
Development

No branches or pull requests
1 participant
@ktraunmueller