Skip to content
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

Add support for github.dev #54

Open
deemp opened this issue Oct 2, 2023 · 1 comment
Open

Add support for github.dev #54

deemp opened this issue Oct 2, 2023 · 1 comment

Comments

@deemp
Copy link

deemp commented Oct 2, 2023

CodeMirror is OK for sharing snippets.

What do you think about browser-based development without installing the rzk binary?

https://docs.github.com/en/codespaces/the-githubdev-web-based-editor

For the rzk playground, we build a js script that registers the rzkTypecheck_ callback. The main TS application uses this callback for typechecking. Communication happens via a mutable object. More callbacks can be added if necessary.

@aabounegm
Copy link
Member

That is a great idea and I've been thinking about it already. I believe to support github.dev, we need the extension to be compatible with Web Extensions. I'm not yet sure how easy that would be to achieve, since it probably means compiling the LSP implementation to JavaScript which doesn't seem to be an easy task

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants