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

Big pair matching #11

Closed
jlelong opened this issue Dec 8, 2021 · 1 comment
Closed

Big pair matching #11

jlelong opened this issue Dec 8, 2021 · 1 comment
Assignees
@jlelong
Labels
enhancement New feature or request

Comments

@jlelong
Copy link
Owner

jlelong commented Dec 8, 2021

Currently \bigl...\bigr are not matched as pairs but only the delimiters are matched (see the yellow colour for the first nesting level)

Capture d’écran 2021-12-08 à 17 29 10

I think we should define these as brackets entries in the -language-configuration.json files.
@tamuratak What do you think?
@jlelong jlelong added the dev Developper discussion label Dec 8, 2021
@tamuratak
Copy link
Collaborator

tamuratak commented Dec 9, 2021 •
edited
Loading

I agree it is a good idea.

@jlelong jlelong self-assigned this Dec 10, 2021
@jlelong jlelong added enhancement New feature or request and removed dev Developper discussion labels Dec 11, 2021
@jlelong jlelong mentioned this issue Jan 16, 2022
Merged
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 12, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jlelong jlelong

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jlelong @tamuratak