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

Styles for deprecated symbols marked for removal #64

Merged

Conversation

arcticicestudio
Copy link
Contributor

Resolves #63

The “General“ editor scheme section provides a option to style deprecated symbols that are marked for removal.
The new MARKED_FOR_REMOVAL_ATTRIBUTES key has been added using a strikethrough effect style colorized with nord11 to draw more attention to such elements.

The "General" editor scheme provides a option to style deprecated
symbols that are marked for removal.
The new `MARKED_FOR_REMOVAL_ATTRIBUTES` key has been added using a
`strikethrough` effect style colorized with `nord11` to draw more
attention to such elements.

GH-63
@arcticicestudio arcticicestudio merged commit ae80537 into develop Jun 15, 2019
@arcticicestudio arcticicestudio deleted the feature/gh-63-deprecated-symbol-removal-style branch June 15, 2019 08:32
@arcticicestudio arcticicestudio removed their assignment Jun 15, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Styles for deprecated symbols marked for removal
2 participants