facebook / facebook/pyrefly

Pyrefly extension not supported for VSCode "browser" mode (vscode.dev)

Open
#2,240 2 comments 0 reactions 1 assignee Claimed by @asukaminato0721 View on GitHub
language-server stale
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

### Describe the Bug

TIL if you use VSCode Web in the browser (e.g. such as when you use `.` to open a GitHub file in the web ui) it's not possible to install the Pyrefly extension there. It looks like it might be something [we could configure](https://code.visualstudio.com/api/extension-guides/web-extensions) from a quick skim of the docs.

I'm not sure how many VSCode users frequently use VSCode Web, or how complicated it would be to implement

Image

cc @kinto0

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.