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

doc: update vscode docs #96

Merged
merged 1 commit into from
Jul 10, 2023
Merged

Conversation

He1pa
Copy link
Contributor

@He1pa He1pa commented Jun 25, 2023

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

2. What is the scope of this PR (e.g. component or file name):

docs/tools/Ide/vs-code.md

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

update vscode doc, add hints about dependent plugins for enhance diagnostic

  • Affects user behaviors
  • Contains syntax changes
  • Contains variable changes
  • Contains experimental features
  • Performance regression: Consumes more CPU
  • Performance regression: Consumes more Memory
  • Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

  • N
  • Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

  • Unit test
  • Integration test
  • Benchmark (add benchmark stats below)
  • Manual test (add detailed scripts or steps below)
  • Other

6. Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

None

@He1pa He1pa added the documentation Improvements or additions to documentation label Jun 25, 2023
@Peefy
Copy link
Contributor

Peefy commented Jun 29, 2023

@He1pa Don't forget to update the Chinese documents at kcl-lang.io/i18n/zh-CN/docusaurus-plugin-content-docs/current/ tools/Ide/vs-code.md

@amyXia1994 amyXia1994 merged commit ec03b58 into kcl-lang:main Jul 10, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Jul 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants