Skip to content

User settings workbench.colorCustomizations are copied to workspace settings #836

@arttu-karpinlehto

Description

@arttu-karpinlehto

All workbench.colorCustomizations settings from user settings.json are copied to code-workspace file whenever DBCode extension is used. In my particular case, the code-workspace file is part of git repo and every time DBCode is used, source control shows code-workspace as modified.

Repro steps

  1. Have workbench.colorCustomizations in user settings.json
  2. Use DBCode extension.
  3. See workbench.colorCustomizations copied to workspace file.

Expected Behavior

Using DBCode should not modify code-workspace file.

Actual Behavior

Code-workspace file is modified.

Environment

  • DBCode version: 1.17.34
  • VS Code (or fork) version: 1.106.0
  • OS: Windows 11 (WSL)
  • Database: MariaDB
  • Connection: direct

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions