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

Configuration Schema Change #888

Open
Lemmingh opened this issue Jan 22, 2021 · 0 comments
Open

Configuration Schema Change #888

Lemmingh opened this issue Jan 22, 2021 · 0 comments
Assignees
Labels
Area: Configuration Requiring changes in configuration schema.

Comments

@Lemmingh
Copy link
Collaborator

Lemmingh commented Jan 22, 2021

We are replacing flawed settings to improve user experience. Here are the changes since version 3.5.0.

All keys are under the markdown.extension section.

Obsolete

Each key here is superseded by one or more new keys.

Key Alternative Deprecation Removal Remarks
syntax.decorations theming.decoration keys 3.5.0 #897

New

See the VS Code Docs for the details of scope.

Key Scope Introduction Remarks
theming.decoration.renderCodeSpan application 3.5.0 #897
theming.decoration.renderHardLineBreak application 3.5.0 #897
theming.decoration.renderLink application 3.5.0 #897
theming.decoration.renderParagraph application 3.5.0 #897
theming.decoration.renderStrikethrough application 3.5.0 #897
theming.decoration.renderTrailingSpace application 3.5.0 #897

What's next

Please check src/configuration/KnownKey.ts.

Definitions

  • The "settings", or "configuration" refers to the entries, which our product contributes to the VS Code Settings.
  • A "setting", "configuration property", or "configuration entry" is an entry, which you can see in the VS Code Settings.
  • A "setting ID" is a dot-separated identifier, by which you can uniquely recognize a "setting".
  • A "configuration section" is a dot-separated identifier, by which you can find a part of the "configuration".
  • A "configuration key" is either a "setting ID", or an identifier under a "configuration section", based on the context.
@Lemmingh Lemmingh added the Area: Configuration Requiring changes in configuration schema. label Jan 22, 2021
Repository owner locked as too heated and limited conversation to collaborators Jan 22, 2021
@Lemmingh Lemmingh pinned this issue Feb 17, 2021
@Lemmingh Lemmingh unpinned this issue Sep 26, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Area: Configuration Requiring changes in configuration schema.
Projects
None yet
Development

No branches or pull requests

2 participants