Skip to content

Conversation

philtweir
Copy link
Contributor

What does this PR do?

  • corrects the default theme name from "" to "default"
  • highlights the @ color name in syntax
  • explains the new Meaning: Muted
  • comments on the (current) limitation of not being able to explicitly "unset" the foreground

@philtweir
Copy link
Contributor Author

Marking as RfR as these features are already in 18.4.0b3

@philtweir philtweir marked this pull request as ready for review August 3, 2024 05:44
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.

1 participant