Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

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

[FEATURE] Stubs for python language server #361

Closed
John-Schreiber opened this issue May 13, 2022 · 1 comment
Closed

[FEATURE] Stubs for python language server #361

John-Schreiber opened this issue May 13, 2022 · 1 comment
Labels
backlog issue has been triaged but has not been earmarked for any upcoming release type: feature New feature or request

Comments

@John-Schreiber
Copy link

It would be useful to have stubs for the pyodide and js modules so syntax highlighting and autocorrect work. Pyodide has pyodide/pyodide#1839, but I can't get it to work.
@John-Schreiber John-Schreiber added the needs-triage Issue needs triage label May 13, 2022
@marimeireles
Copy link
Member

It would!
Interesting thing to tackle. :)

@marimeireles marimeireles added type: feature New feature or request backlog issue has been triaged but has not been earmarked for any upcoming release and removed needs-triage Issue needs triage labels Oct 4, 2022
@pyscript pyscript locked and limited conversation to collaborators Feb 12, 2023
@marimeireles marimeireles converted this issue into discussion #1173 Feb 12, 2023

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
backlog issue has been triaged but has not been earmarked for any upcoming release type: feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@marimeireles @John-Schreiber