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

Add support for new Dart features to prettify #168

Merged
merged 1 commit into from
Mar 20, 2023

Conversation

parlough
Copy link
Member

No description provided.

@parlough parlough requested a review from domesticmouse March 20, 2023 22:06
@parlough parlough merged commit 54e9907 into main Mar 20, 2023
@parlough parlough deleted the feature/prettify-new-dart-keywords branch March 20, 2023 23:50
@kevmoo
Copy link
Member

kevmoo commented Mar 20, 2023

Weird this is not coordinated (in some way) with https://github.com/dart-lang/dart-syntax-highlight

Right?

@kevmoo
Copy link
Member

kevmoo commented Mar 20, 2023

CC @devoncarew

@parlough
Copy link
Member Author

parlough commented Mar 20, 2023

Mostly because we hope to discontinue use of Prettify soon, as the library is no longer supported by Google and we already use another highlighting system on the site. No one else should use it.

I just haven't had the chance to sit down and do it yet: dart-lang/site-www#3846

@kevmoo
Copy link
Member

kevmoo commented Mar 20, 2023

Good to know! Thanks @parlough

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.

3 participants