Skip to content

Disable embedded DevTools for remote IDEs like Theia/GitPod #3275

New issue
New issue
Closed
Closed
Disable embedded DevTools for remote IDEs like Theia/GitPod#3275
Labels
in commandsRelates to commands (usually invoked from the command Palette)in remoteRelates to running the extension in a remote setting using VS Code's remote dev supportis enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
Milestone
v3.22.0
@DanTup

Description

@DanTup
DanTup
opened on Apr 12, 2021
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    in commandsRelates to commands (usually invoked from the command Palette)in remoteRelates to running the extension in a remote setting using VS Code's remote dev supportis enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions