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

missing bracket in arrows doc #831

thinbold opened this issue Feb 6, 2020 · 1 comment

missing bracket in arrows doc #831

thinbold opened this issue Feb 6, 2020 · 1 comment


Copy link

@thinbold thinbold commented Feb 6, 2020

Version: 3.1.5b

On page 211, a right bracket is missing in this line

>-< /.tip = >[reversed

It corresponds to this line in the doc

@thinbold thinbold added the manual label Feb 6, 2020
hmenke added a commit that referenced this issue Feb 6, 2020
This has a different problem, because \pgfmanual@EOI now ends up in
front of the reinserted delimiter which confuses the syntax highlighter.

This comment has been minimized.

Copy link

@hmenke hmenke commented Feb 6, 2020

I've committed a partial fix which at least brings back the bracket, but unfortunately it is not in italics.

@hmenke hmenke added this to the 3.1.6 milestone Feb 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.