Skip to content
This repository has been archived by the owner on Jan 26, 2024. It is now read-only.

Fixed string highlighting priority #18

Merged
merged 1 commit into from
Jan 26, 2023
Merged

Fixed string highlighting priority #18

merged 1 commit into from
Jan 26, 2023

Conversation

gingershaped
Copy link
Collaborator

Closes #17.

@gingershaped gingershaped added this to the Get the REPL working milestone Jan 26, 2023
@gingershaped gingershaped added bug Something isn't working highlighting A problem with syntax highlighting. labels Jan 26, 2023
mathcat4
mathcat4 approved these changes Jan 26, 2023
View reviewed changes
Copy link
Member

@mathcat4 mathcat4 left a comment

Choose a reason for hiding this comment

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

lgtm

@gingershaped gingershaped merged commit f07192f into dev Jan 26, 2023
@gingershaped gingershaped deleted the fix-string-highlighting branch January 26, 2023 15:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@mathcat4 mathcat4 mathcat4 approved these changes

@lyxal lyxal Awaiting requested review from lyxal

Assignees
No one assigned
Labels
bug Something isn't working highlighting A problem with syntax highlighting.
Projects
None yet
Milestone
Get the REPL working
Development

Successfully merging this pull request may close these issues.

Highlighting issues with strings
2 participants
@gingershaped @mathcat4