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

Alternate fix for import highlighting with instantiations #2859

Closed
wants to merge 7 commits into from

Conversation

dbartol
Copy link
Contributor

@dbartol dbartol commented Sep 25, 2023

This is an alternate fix for #2792. It updates the heuristic for finding the end of an import directive. The new heuristic matches a zero-width string that is preceded by a character that could end the import directive (identifier, >) and is not followed by a character that would continue the import directive (,, ., <, ::).

Copy link
Contributor

@ginsbach ginsbach left a comment

Choose a reason for hiding this comment

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

Thanks a lot for looking into this! Apologies for taking a bit of time to get back to you. I have this one minor suggestion, aside from that it looks good to me.

@ginsbach ginsbach force-pushed the ginsbach/TextMateInstantiationSyntax branch from 8f37b90 to 22a5661 Compare October 6, 2023 11:42
@ginsbach ginsbach self-requested a review October 6, 2023 11:45
Copy link
Contributor

@ginsbach ginsbach left a comment

Choose a reason for hiding this comment

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

I am approving this issue to signal that I'm happy with the changes, but there is no need to merge - I have already updated my branch

@ginsbach ginsbach force-pushed the ginsbach/TextMateInstantiationSyntax branch from 22a5661 to 47fa163 Compare October 9, 2023 15:58
Base automatically changed from ginsbach/TextMateInstantiationSyntax to main October 9, 2023 16:17
@dbartol
Copy link
Contributor Author

dbartol commented Oct 9, 2023

Closing since this was already merged into the real PR

@dbartol dbartol closed this Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants