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

Apply proper syntax to triple-quoted cmds #133

Merged
merged 4 commits into from
Jul 16, 2020

Conversation

non-Jedi
Copy link
Contributor

@non-Jedi non-Jedi commented Jul 9, 2020

This is necessary cleanup before #132 could be attempted and should also make triple-backticks work correctly which has never been true before.

This also appears to have fixed all the corner-cases with escapes in strings.

Closes #15, closes #119

We don't need to apply any syntax to the contents of the 'c' literal.
@non-Jedi non-Jedi force-pushed the triple-quote-cmd branch from ed66581 to 8630eee Compare July 9, 2020 21:16
Previously they were being syntax-propertized as 3 single-quoted
cmds.
@non-Jedi non-Jedi force-pushed the triple-quote-cmd branch from 8630eee to 796ddfd Compare July 9, 2020 21:28
Copy link
Collaborator

@tpapp tpapp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for doing this, and the thorough testing. LGTM.

@tpapp
Copy link
Collaborator

tpapp commented Jul 16, 2020

@giordano @FelipeLema @rfourquet if any of you has time, please review this, I would like to merge.

Copy link

@giordano giordano left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me! (there is a merge conflict 😉 )

@tpapp
Copy link
Collaborator

tpapp commented Jul 16, 2020

Yes, I just resolved that manually (I am surprised that git hung up on it, there was no actual conflict), and will merge as soon as tests finish.

@non-Jedi: as always, thanks for the excellent work!

@tpapp tpapp merged commit b295e36 into JuliaEditorSupport:master Jul 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants