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

@suppress needs to be highlighted in the highlighter with its own color #1267

Closed
ice1000 opened this issue Jan 3, 2025 · 0 comments · Fixed by #1281
Closed

@suppress needs to be highlighted in the highlighter with its own color #1267

ice1000 opened this issue Jan 3, 2025 · 0 comments · Fixed by #1281
Labels
Milestone

Comments

@ice1000
Copy link
Member

ice1000 commented Jan 3, 2025

Many changes

@ice1000 ice1000 added highlighter Faithful one color scheme Rua labels Jan 3, 2025
@ice1000 ice1000 added this to the v0.38 milestone Jan 5, 2025
@HoshinoTented HoshinoTented linked a pull request Jan 7, 2025 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant