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.

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

Integrate pdf-tools with latex layer. #6365

Closed

Conversation

cpaulik
Copy link
Contributor

@cpaulik cpaulik commented Jun 18, 2016

This enables viewing of tex output using pdf-tools. Includes jumping to
the part of the pdf under the cursor in the .tex file.

The only problem it has is that auctex seems to not play nice with lazy loading. It uses (unless (featurep 'pdf-tools)) here.
The code works fine if the unless is removed. Is there a way around this or could this be considered a bug in auctex?

@cpaulik cpaulik force-pushed the latex-pdf-tools-integration branch from 20c70ef to 279053d Compare June 19, 2016 11:05
@cpaulik cpaulik changed the title WIP: Integrate pdf-tools with latex layer. Help wanted. Integrate pdf-tools with latex layer. Jun 19, 2016
@cpaulik
Copy link
Contributor Author

cpaulik commented Jun 19, 2016

It works now since we can use our own function for performing the syncing between views.

@cpaulik cpaulik force-pushed the latex-pdf-tools-integration branch from 279053d to a96a871 Compare June 19, 2016 11:23
This enables viewing of tex output using pdf-tools. Includes jumping to
the part of the pdf under the cursor in the .tex file.
@cpaulik cpaulik force-pushed the latex-pdf-tools-integration branch from a96a871 to 60a1154 Compare August 2, 2016 08:34
@cpaulik
Copy link
Contributor Author

cpaulik commented Aug 2, 2016

The behavior in auctex was fixed so we don''t need our own function any more.

@github-actions
Copy link

This PR has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Please let us know if this PR is still need merging!

@github-actions github-actions bot added the stale marked as a stale issue/pr (usually by a bot) label Sep 30, 2020
@github-actions github-actions bot closed this Dec 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Help wanted stale marked as a stale issue/pr (usually by a bot)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants