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

Parenthesis and quote matching should ignore escaped parenthesis #528

Open
gunterkoenigsmann opened this issue Jul 24, 2015 · 1 comment
Open

Parenthesis and quote matching should ignore escaped parenthesis #528

gunterkoenigsmann opened this issue Jul 24, 2015 · 1 comment
Labels
area: code editor Issues related to the code editor bug confirmed The issue has been confirmed (reproduced). Useful for both bugs and feature requests.

Comments

@gunterkoenigsmann
Copy link
Member

The following line is hard to input, currently, since the parenthesis matching functions believe we need to close the quoted parenthesis, as well:

 a\(3\]:5;

I assume this to be of a very low practical importance, though and add this report only for the sake of completeness.
@KubaO KubaO added bug confirmed The issue has been confirmed (reproduced). Useful for both bugs and feature requests. labels Jul 10, 2020
@KubaO KubaO added this to the 12.08 milestone Jul 10, 2020
@KubaO KubaO added the area: code editor Issues related to the code editor label Jul 10, 2020
@KubaO KubaO mentioned this issue Jul 10, 2020
Closed
@KubaO KubaO changed the title Low priority: parenthesis and quote matching should ignore escaped parenthesis Parenthesis and quote matching should ignore escaped parenthesis Jul 10, 2020
@KubaO
Copy link
Collaborator

KubaO commented Aug 21, 2020

The code highlighter in the editor is certainly fixable in a piece-wise fashion, but it's an ad-hoc parser that doesn't quite build up a complete model of the text it's working on. I'm removing it from the 20.08 milestone since I don't have time to work on it properly.

@KubaO KubaO removed this from the 20.08 milestone Aug 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area: code editor Issues related to the code editor bug confirmed The issue has been confirmed (reproduced). Useful for both bugs and feature requests.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gunterkoenigsmann @KubaO