Skip to content

Support Theia IDE #7905

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.

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

Closed
RodogInfinite opened this issue Mar 7, 2021 · 1 comment
Closed

Support Theia IDE #7905

RodogInfinite opened this issue Mar 7, 2021 · 1 comment
Labels
A-vscode vscode plugin issues S-actionable Someone could pick this issue up and work on it right now

Comments

@RodogInfinite
Copy link

There's some difficulty getting rust-analyzer to function in Theia, see: eclipse-theia/theia#9136. This support, by extension, should also transfer to GitPod since it's built on Theia. For a yet undetermined reason, installing the extension when building doesn't work for me, but there are reports of it functioning when manually installing the .vsix and the binary, see: eclipse-theia/theia#7608, but it still gives the "Activating extension rust-analyzer failed: ..." notification.

Another thing to consider, Theia version is often behind the latest version of VSCode causing a version incompatibility with the latest releases of the extension. This can be currently be fixed in a hacky way, see: eclipse-theia/theia#8828.

@flodiebold flodiebold added A-vscode vscode plugin issues S-actionable Someone could pick this issue up and work on it right now labels Mar 14, 2021
@lnicola
Copy link
Member

lnicola commented May 25, 2022

Theia seems to lag a lot behind VS Code, and we're using newer APIs for e.g. inlay hints. We're also using the pre-release version flag and platform-specific VSIX feature (which currently don't even work in OVSX). With Theia advertising the Code 1.53 API and us requiring 1.66, I don't think there's much we can do here.

@lnicola lnicola closed this as not planned Won't fix, can't repro, duplicate, stale May 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-vscode vscode plugin issues S-actionable Someone could pick this issue up and work on it right now
Projects
None yet
Development

No branches or pull requests

3 participants