-
Notifications
You must be signed in to change notification settings - Fork 10
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
Install gnopls and set GNOROOT #122
base: main
Are you sure you want to change the base?
Conversation
👷 Deploy request for gnochess pending review.Visit the deploys page to approve it
|
👷 Deploy request for gnochess-signup-form pending review.Visit the deploys page to approve it
|
thanks hariom! I'll take a look after sleeping (in ~9 hrs) first thing :) |
Mhh, I'm having some weird/funky behaviour with this. Couple things that I notice which I think are bad for UX, just a few minutes of testing:
Think we might need for it to be slightly more stable, though I really do appreciate the effort! |
Language Server uses gno binary to provide errors (specifically If we we want to filter out something maybe need to modify
That's strange. Again that error in video was from gno build. Maybe some problem with gno build
Ah. Seems like there is some delay in language server onChange event.
I agree with you. It was implemented in rush. |
Latest version of
vscode-gno
usesgnopls
to provide diagnostics and some code completion features.Updated .gitpod.yml to install
gnopls
Preview