Skip to content

Fixes #2323. The devcontainer.json settings isn't work with the current develop branch.#2324

Merged
tig merged 1 commit intogui-cs:developfrom
BDisp:devcontainer-fix_2323
Feb 7, 2023
Merged

Fixes #2323. The devcontainer.json settings isn't work with the current develop branch.#2324
tig merged 1 commit intogui-cs:developfrom
BDisp:devcontainer-fix_2323

Conversation

@BDisp
Copy link
Copy Markdown
Collaborator

@BDisp BDisp commented Feb 6, 2023

Fixes #2323 - The dotnet 7.0 was needed and also fixed the settings warnings. This is only detected on VSCode, not VS2022.

Pull Request checklist:

  • I've named my PR in the form of "Fixes #issue. Terse description."
  • My code follows the style guidelines of Terminal.Gui - if you use Visual Studio, hit CTRL-K-D to automatically reformat your files before committing.
  • My code follows the Terminal.Gui library design guidelines
  • I ran dotnet test before commit
  • I have made corresponding changes to the API documentation (using /// style comments)
  • My changes generate no new warnings
  • I have checked my code and corrected any poor grammar or misspellings
  • I conducted basic QA to assure all features are working

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.

The devcontainer.json settings isn't work with the current develop branch.

2 participants