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

Implement a Visual Studio Code extension #64

Closed
1 task
alexrp opened this issue Mar 27, 2023 · 2 comments
Closed
1 task

Implement a Visual Studio Code extension #64

alexrp opened this issue Mar 27, 2023 · 2 comments
Labels
area: build Issues related to the build system. area: extensions Issues related to the editor extensions. area: infrastructure Issues related to infrastructure (GitHub, CI, etc).
Milestone

Comments

@alexrp
Copy link
Member

alexrp commented Mar 27, 2023

This should simply wrap our LSP implementation.

Depends on:

@alexrp alexrp added area: build Issues related to the build system. area: infrastructure Issues related to infrastructure (GitHub, CI, etc). state: blocked Issues that are blocked on some other issue or work. type: feature area: extensions Issues related to the editor extensions. labels Mar 27, 2023
@alexrp alexrp added this to the v1.0 milestone Mar 27, 2023
@alexrp alexrp self-assigned this Mar 27, 2023
alexrp added a commit that referenced this issue Apr 14, 2023
@alexrp
Copy link
Member Author

alexrp commented Apr 14, 2023

Basic tasks that need doing:

  • Fill out README.md.
  • Write some syntax patterns for non-semantic highlighting.
  • Write some code snippets.

(None of these depend on the LSP implementation.)

alexrp added a commit that referenced this issue Apr 16, 2023
alexrp added a commit that referenced this issue Apr 17, 2023
@alexrp
Copy link
Member Author

alexrp commented Apr 22, 2023

Everything here is basically done. The remaining works in on the language server side, i.e. #62.

@alexrp alexrp closed this as completed Apr 22, 2023
@alexrp alexrp removed the state: blocked Issues that are blocked on some other issue or work. label Apr 22, 2023
@alexrp alexrp removed their assignment Jan 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: build Issues related to the build system. area: extensions Issues related to the editor extensions. area: infrastructure Issues related to infrastructure (GitHub, CI, etc).
Development

No branches or pull requests

1 participant