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

Switch to use language server #23

Open
ChrisChinchilla opened this issue Jan 12, 2024 · 3 comments
Open

Switch to use language server #23

ChrisChinchilla opened this issue Jan 12, 2024 · 3 comments
Assignees
Labels
enhancement New feature or request

Comments

@ChrisChinchilla
Copy link
Owner

ChrisChinchilla commented Jan 12, 2024

Closed by #41

@ChrisChinchilla ChrisChinchilla added the enhancement New feature or request label Jan 12, 2024
@ChrisChinchilla ChrisChinchilla self-assigned this Jan 12, 2024
@jdkato
Copy link
Collaborator

jdkato commented Apr 30, 2024

Have you started work on this? If not, I'm interested in submitting a PR so that some of the new action-related features can get in.

@ChrisChinchilla
Copy link
Owner Author

@jdkato Yes I have a prototype working, but hit some issues with the language server and also needed to think about how some of the features the plugin adds on top will work, so while I may release a pre-release soon, it will be a little while yet before there's something I think people can use in production.

I'd say, if the PR isn't too much work "the old way". submit it, if it is, then leave it for now.

@jdkato
Copy link
Collaborator

jdkato commented Apr 30, 2024

I haven't started anything yet, so I'll hold off for now.

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

No branches or pull requests

2 participants