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.

Sign up for GitHub

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

Jump to bottom

There is not "Developer: Toggle Developer Tools" #7266

Open

1 of 2 tasks

BigFaceBoy opened this issue Mar 17, 2025 · 0 comments

Open

1 of 2 tasks

There is not "Developer: Toggle Developer Tools" #7266

BigFaceBoy opened this issue Mar 17, 2025 · 0 comments

Labels

bug triage

BigFaceBoy commented Mar 17, 2025 •

edited

Loading

Is there an existing issue for this?

I have searched the existing issues

OS/Web Information

Web Browser: MicroSoft edge
Local OS: win10
Remote OS: Centos7
Remote Architecture: amd64
code-server --version: v4.96.2

Steps to Reproduce

I can not find "Developer: Toggle Developer Tools" with ctrl+shift+p

Expected

There is "Developer: Toggle Developer Tools"

Actual

There is not "Developer: Toggle Developer Tools"

Logs

Screenshot/Video

No response

Does this bug reproduce in native VS Code?

Yes, this is also broken in native VS Code

Does this bug reproduce in GitHub Codespaces?

Yes, this is also broken in GitHub Codespaces

Are you accessing code-server over a secure context?

I am using a secure context.

Notes

No response

The text was updated successfully, but these errors were encountered:

BigFaceBoy added bug triage labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment